Special issue on Automated Verification of Critical Systems (AVoCS'12)

Gerald Lüttgen, Stephan Merz. Special issue on Automated Verification of Critical Systems (AVoCS'12). Science of Computer Programming, 96:277-278, 2014. [doi]

Abstract

Abstract is missing.