Formal Management of CAD/CAM Processes

@inproceedings{pub4424,
    author = {

Kohlhase, Michael
 and 

Lemburg, Johannes
 and 

Schröder, Lutz
 and 

Schulz, Ewaryst
},
    editor = {

Cavalcanti, Ana
 and 

Dams, Dennis
},
    title = {Formal Management of CAD/CAM Processes},
    booktitle = {Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, Netherlands},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2009},
    month = {11},
    volume = {5850},
    pages = {223--238},
    publisher = {Springer}
}