CASL - the common algebraic specification language: semantics and proof theory

Bibliographic Details
Main Authors:	Mossakowski, Till (Author), Sannella, Donald (Author), Tarlecki, Andrzej (Author), Haxthausen, Anne E. (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Fotogr., tab., sch.
ISSN:	1335-9150
Subjects:	CASL (jazyk) > sémantika jazyky špecifikačné články z novín a časopisov

Similar Items

Foreword
by: Bjorner, Dines

On the logic of TLA+
by: Merz, Stephan