Formal Verification of Object-oriented Software : International Conference, F...

Design Patterns Elements of Reusable ObjectOriented Software

FAST SHIP Design Patterns Elements of Reusable ObjectOriented Software By Erich

Formal Verification of Object-Oriented Software - 9783642317613

Formal Verification of Object-Oriented Software: International Conference, FoVeO

Formal Aspects of Component Software: 15th International Conference, FACS 2018,

Formal Methods and Software Engineering: 24th International Conference on Formal

Formal Aspects of Component Software: 19th International Conference, FACS 2023,