Formal Specification of the Moebius Modeling Framework

Daniel D. Deavours. Formal Specification of the Moebius Modeling Framework. PhD thesis, University of Illinois Urbana-Champaign, USA, 2001. [doi]

Abstract

Abstract is missing.