10th International Conference on Software Engineering and Formal Methods (SEFM 2012)

the conference that brings together researchers and practitioners from academia, industry and government to advance the state-of-the-art in formal methods

1 5 October 2012

Currently in read only mode, sorry about that, please try again in a few hours.

Tell your friends!

Share this event with your friends on Twitter




Call for participation

Related books

  • Managing Humans
  • Code Complete: A Practical Handbook of Software Construction
  • The Art of UNIX Programming
  • After the Gold Rush: Creating a True Profession of Software Engineering (DV-Best Practices)
  • The Practice of Programming

See something wrong?

Report an issue with this event