Science of Computer Programming, Volume 158

Volume 158, June 2018

Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics