Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin /

Development of the Visual System (Proceedings of the Retina Research Foundation

Formal Methods and Software Development. Proceedings of the International Joint

Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Softw

Formal Methods and Software Development. Proceedings of the International Joint

Ehrig - Formal Methods and Software Development. Proceedings of the In - X555z

Formal Methods in Databases and Software Engineering: Proceedings of the Worksho

Formal Methods and Software Engineering - 9783030634056