Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014

. Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014. Science of Computer Programming, volume 131, pages 1-150, 12, 2016.

TypHerausgeberband
JournalScience of Computer Programming
VerlagElsevier
Band131
Monat12
Jahr2016
Seiten1-150