Software Engineering and Formal Methods

Nov 13 - 17, 2011 · Seoul, Uruguay
The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state of the art in formal methods, to scale up their application in…
Event organizers

Are you organizing Software Engineering and Formal Methods?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews