Formal management of CAD/- CAM processes (2009)

by Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz
Venue:In Ana Cavalcanti and Dennis Dams, editors, Formal Methods, FM 2009, volume 5850 of LNCS