Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science) | lit.salon