论文信息 - Formal Methods for Software Engineering: Languages, Methods, Application Domains - 字舞流文

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Antonio Cerone | Markus Roggenbach | Gerardo Schneider | Bernd-Holger Schlingloff | Siraj A. Shaikh | G. Schneider | A. Cerone | S. Shaikh | Bernd-Holger Schlingloff | M. Roggenbach