Mario Gleirscher


AuthID: R-00K-1YQ

Publications Requiring Validation

1
TITLE: Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021
AUTHORS: Mario Gleirscher; Jaco van de Pol; Jim Woodcock;
PUBLISHED: 2021, SOURCE: AppFM@FM, VOLUME: 349
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service