Pierre Wolper profile picture

Pierre Wolper

Is this your author profile? Create an account to customize it!

Stand Alone

Introduction à la calculabilité : Cours et exercices corrigés
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science)
Workshop on Trustworthy Software