Revision as of 08:32, 12 September 2022 by Curator 75(talk | contribs)(Created page with "{{Event |Acronym=FMCAD 2015 |Title=Formal Methods in Computer-Aided Design |Ordinal=15 |In Event Series=Event Series:B971552d-88d3-4f18-a485-0b44108039be |Single Day Event=no...")