Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Bok av Isil Dillig
Omnible använder cookies för att fungera bättre för dig. Genom att använda vår webbplats samtycker du till vår användning av cookies.