Skip to content

A Specification Construction Unit-Based Editor for Z.

Hiroshi Ishikawa

Year2005
ProceedingsCOMPSAC (2)

Browse the full COMPSAC paper archive.