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