-
1
Notations for Software Design /
Published 1994“…Formal Approaches to Computing and Information Technology (FACIT)…”
Full Text (via Springer)
eBook -
2
On the Refinement Calculus /
Published 1994“…Formal Approaches to Computing and Information Technology (FACIT)…”
Full Text (via Springer)
eBook -
3
Systems, Models and Measures /
Published 1994“…Formal Approaches to Computing and Information Technology (FACIT)…”
Full Text (via Springer)
eBook -
4
High-Integrity System Specification and Design /
Published 1999“…Formal Approaches to Computing and Information Technology (FACIT)…”
Full Text (via Springer)
eBook -
5
Industrial-Strength Formal Methods in Practice /
Published 1999“…Formal Approaches to Computing and Information Technology (FACIT)…”
Full Text (via Springer)
eBook -
6
Proof in VDM: Case Studies /
Published 1998“…Formal Approaches to Computing and Information Technology (FACIT)…”
Full Text (via Springer)
eBook -
7
Program Development by Refinement : Case Studies Using the B Method /
Published 1999“…Formal Approaches to Computing and Information Technology FACIT.…”
Full Text (via Springer)
eBook -
8
On the refinement calculus /
Published 1994“…Formal approaches to computing and information technology (FACIT)…”
Book