ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday

Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend

Cham : Springer (2017)
Book

In: Lecture notes in computer science 10500
Page(s)/Article-Nr.: XII, 389 Seiten : Illustrationen, Diagramme

Identifier