Creating Well-Structured Specifications in MOFLON

Carsten Amelunxen, Tobias Rötschke. Creating Well-Structured Specifications in MOFLON. ECEASST, 1, 2006. [doi]

Abstract

Abstract is missing.