Skip to content
Vinony

Formal methods at the crossroads

by Bernhard K. Aichernig

Cover of Formal methods at the crossroads

No description available.

Formale MethodeSoftwareentwicklung
Formal methods at the crossroads by Bernhard K. Aichernig — book · Vinony