skip to main content
Langue :
COVID-19 : bibliothèque fermée. En savoir plus COVID-19 : bibliothèque fermée. En savoir plus Afficher les résultats avec :

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Butler, Michael (Ed.) ; Raschke, Alexander (Ed.) ; Hoang, Thai Son (Ed.) ; Reichl, Klaus (Ed.)

Appartient à la collection : Lecture notes in computer science, 10817, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2018

Identifiez-vous pour publier votre commentaire

S'identifier pour ajouter des tags

Recherche dans les bases de données distantes en cours. Merci de patienter.