Formal Software

Formal Methods And Software Engineering

Software Engineering And Formal Methods

Formal Aspects Of Component Software

Formal Methods And Software Engineering

Software Engineering And Formal Methods

Formal Approaches To Software Testing

Formal Methods And Software Engineering

Formal Aspects Of Component Software

Software Engineering And Formal Methods

Software Engineering And Formal Methods

Formal Methods And Software Engineering

Formal Methods And Software Engineering

Formal Engineering For Industrial Software Development

Software Engineering And Formal Methods

Formal Methods And Software Engineering

Formal Aspects Of Component Software

Software Engineering And Formal Methods

Formal Methods In Databases And Software Engineering

Software Engineering And Formal Methods

Formal Methods And Software Engineering

Formal Methods For Software Architectures

Software Engineering And Formal Methods

Formal Engineering For Industrial Software Development

Formal Approaches To Software Testing

Formal Aspects Of Component Software

Formal Approaches To Software Testing And Runtime Verification

Formal Aspects Of Component Software

Formal Aspects Of Component Software

Formal Aspects Of Component Software

Formal Methods For Executable Software Models

Formal Verification Of Object-Oriented Software

Formal Verification Of Concurrent Embedded Software

Formal Methods And Software Engineering

The Use Of Formal Specification Of Software

Vdm 91: Formal Software Development Methods : 4th International Symposium Of Vdm Europe Noordwijkerhout, The Netherlands October 21-25, 1991 : Procee: 002 (Lecture Notes In Computer Science, 551-552)

Software Engineering And Formal Methods

Formal Methods And Software Engineering

Notations For Software Design (Formal Approaches To Computing And Information Technology)

Formal Methods And Software Engineering: 10th International Conference On Formal Engineering Methods Icfem 2008, Kitakyushu-City, Japan, October ... 5256 (Lecture Notes In Computer Science)

Practical Formal Methods With Vdm (Mcgraw Hill International Series In Software Engineering)

Formal Methods And Software Development. Proceedings Of The International Joint Conference On Theory And Practice Of Software Development (Tapsoft), Berlin, March 25-29, 1985

Formal Methods Of Program Verification And Specification (Prentice-Hall Software Series)