01259nam 2200373 450 991051418630332120230821213953.010.1145/3487212(CKB)5700000000001528(NjHacI)995700000000001528(EXLCZ)99570000000000152820230821d2021 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design /S. Arun-Kumar, [and three others]New York, NY :Association for Computing Machinery,2021.1 online resource (149 pages). illustrationsACM Conferences1-4503-9127-3 Electronic data processingComputer scienceElectronic data processing.Computer science.004Arun-Kumar S.1384963NjHacINjHaclBOOK9910514186303321Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design3431895UNINA