Normal view
MARC view
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh (Personal Name)
Machine generated authority record
Work cat.: (OSt)1664296: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh, Formal Methods for Software Engineering
