M2Z

MaRDI QIDQ13287swMATHFDO

Official website http://www.springerlink.com/content/vj73bj2ncp9u698b/fulltext.pdf

Described by source

• M2Z: A tool for translating a natural language software specification into Z

This page was built for software: M2Z