Formal Management of CAD/CAM Processes.

Michael Kohlhase, Johannes Lemburg, Lutz Schrder, Ewaryst Schulz

Browse the full FM paper archive.