Skip to content

Formal Specification Level.

Rolf Drechsler, Mathias Soeken, Robert Wille

VenueCFDL
Year2012
ProceedingsFDL (Selected Papers)

Browse the full FDL paper archive.