by Martin Wirsing , Jean-Pierre Banatre , Matthias Hölzl , Axel Rauschmayer
No reviews yet. Be the first!
Knowledge Science, Engineering and Manag...
Adapting Proofs-as-Programs
Software Engineering for Collective Auto...
Fundamental Approaches to Software Engin...
Recent trends in algebraic development t...
Formal Description of Programming Concep...