Inference and test generation using program invariants in chemical reaction networks

Autor:	Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge
Rok vydání:	2022
Zdroj:	Proceedings of the 44th International Conference on Software Engineering.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6cf54ff12491c306901339a58e61aab7 https://doi.org/10.1145/3510003.3510176 Zobrazit plný text záznamu