Formal Test Automation: A Simple Experiment

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink

Published: 1999, Last Modified: 26 Jan 2025IWTCS 1999EveryoneRevisionsBibTeXCC BY-SA 4.0