References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Cornelis, Gustaaf C. (ed.); Smets, Sonja (ed.); Van Bendegem, Jean Paul (ed.): Metadebates on science. The blue book of “Einstein meets Magritte” (1999)
- Zave, Pamela: Formal description of telecommunication services in Promela and Z (1999)
- Knott, Ron; Krause, Paul: The implementation of Z specifications using program transformation systems: The SuZan project (1992)