Science of Computer Programming, Volume 207

Refine list

showing all ?? records

Volume 207, July 2021

Regular articles Special issue on Formal Techniques for Safety-Critical Systems 2019 Special issue on Software Health of Software Ecosystems
a service of  Schloss Dagstuhl - Leibniz Center for Informatics