Verification is experimentation!

DOI10.1007/S100090100050zbMath1002.68587OpenAlexW2144389867MaRDI QIDQ1606799

Ed Brinksma

Publication date: 25 July 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100050

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99)

Related Items (1)

Hoare logic-based genetic programming

This page was built for publication: Verification is experimentation!