Science of Computer Programming, Volume 199

Refine list

showing all ?? records

Volume 199, November 2020

Special issue on Formal Aspects of Component Software (FACS 2018) Regular article Special issue on International workshop on Smalltalk Technologies (IWST) Special issue on Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics