DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Z User Group
Z User Group
Annotated Z Bibliography
July 2004 a C T S
FACS FACTS Newsletter in 2006
BCS-FACS: a Report from the Trenches
Formal Specification and Documentation Using Z
ZB 2000: Formal Specification and Development in Z and B
Lecture Notes in Computer Science 3455 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan Van Leeuwen
March 2005 a C T S
Top View