ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink

ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink . - Cham : Springer, cop. 2017 . - XII, 389, [1] p. : il. 24 cm . - (Lecture notes in computer science; 10500)
978-3-319-68269-3 Brochado

681.3
519.6
510.6