Deductive Software Verification : Future Perspectives
de Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Ediciones (1)
- Deductive Software Verification : Future Perspectives (2020)
Springer International Publishing AG · inglés · ISBN 9783030643539
