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

Tell your friends!

Share this event with your friends on Twitter

Topics

Share

Staff


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