The Integration of Testing and Program Verification: A Position Paper

Petra van den Bos, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

4 Downloads (Pure)

1 Book editing

1 results

Filter

2022

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Jansen, N., Stoelinga, M. & van den Bos, P., 2022, Cham: Springer. 580 p. (Lecture Notes in Computer Science; vol. 13560)
Research output: Book/Report › Book editing › Academic

Open Access
File

20 Downloads (Pure)