Miroslav Adámy

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Lubos Mikusiak, Miroslav Adámy, Thomas Seidmann
Publishing Formal Specifications in Z Notation on World Wide Web. TAPSOFT (1997)
Lubos Mikusiak, Miroslav Adámy
Viewing Formal Specifications in Z on World Wide Web. EUROMEDIA (1996)