☰
Explorar
Iniciar sesión
Crear una nueva cuenta
Pubblicare
×
Descargar
No category
Static verification of Eiffel programs using Boogie
Document
Slide 1
Software Engineering Requirements Engineering
Safety-Critical Systems
Formal Methods - University of Tehran
Decision Procedures for Algebraic Data Types with …
The difficulty of creating reliable software
Recent Research Progresses in Zhejiang University
Document