Formal Methods

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings and published by Springer. The Digital and eTextbook ISBNs for Formal Methods are 9783031274817, 3031274814 and the print ISBNs are 9783031274800, 3031274806. Save up to 80% versus print by going digital with VitalSource.

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings and published by Springer. The Digital and eTextbook ISBNs for Formal Methods are 9783031274817, 3031274814 and the print ISBNs are 9783031274800, 3031274806. Save up to 80% versus print by going digital with VitalSource.