Formal Software

Formal Methods For Software Architectures

Formal Aspects Of Component Software

Formal Approaches To Software Testing

Software Engineering And Formal Methods

Formal Engineering For Industrial Software Development

Formal Aspects Of Component Software

Formal Aspects Of Component Software

Formal Approaches To Software Testing And Runtime Verification

Formal Verification Of Object-Oriented Software

Formal Aspects Of Component Software

Formal Methods For Executable Software Models

Formal Methods And Software Engineering

Foundations Of Algebraic Specification And Formal Software Development

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)

Formal Aspects Of Component Software

Software Engineering And Formal Methods. Sefm 2023 Collocated Workshops

Software Engineering And Formal Methods

Formal Methods And Software Engineering

Software Engineering And Formal Methods. Sefm 2022 Collocated Workshops

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)

An Introduction To Formal Specification With Z And Vdm (The Mcgraw-Hill International Series In Software Engineering)

Practical Formal Methods In Software Engineering

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 And Software Engineering

Software Engineering And Formal Methods

Vdm '90. Vdm And Z - Formal Methods In Software Development

Software Engineering And Formal Methods

The Use Of Formal Specification Of Software

A Formal Approach To Object-Oriented Software Engineering (Berichte Aus Der Informatik)

Validation And Verification Of Formal Specifications In Object-Oriented Software Engineering

Software Engineering And Formal Methods

Software Prototyping, Formal Methods, And Vdm (International Computer Science Series)

Software Verification And Formal Methods For Ml-Enabled Autonomous Systems : 5th International Workshop, Fomlas 2022, And 15th International Workshop, Nsv 2022, Haifa, Israel, July 31 - August 1, And

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