Verification, Model Checking, and Abstract Interpretationde Isil Dillig, Jens PalsbergMateriasComputer scienceSoftware engineeringEdiciones (1)Verification, Model Checking, and Abstract Interpretation (2018)Springer · ISBN 9783319737201Más obras de Isil DilligComputer Aided VerificationVer todas las obras de Isil Dillig →
