OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

International Conference on Software Engineering and Formal Methods

 Home Mathematics Fields of mathematics Applied mathematics Theoretical computer science Formal methods
 0 By others on same topic  0 Discussions  1970-01-01  See my version
The International Conference on Software Engineering and Formal Methods (SEFM) is a scholarly event that focuses on the intersection of software engineering and formal methods. It typically involves the presentation of research papers, posters, and discussions centered around the application of formal methods in software development, verification, and reliability. Formal methods involve mathematically rigorous techniques and tools used to specify, develop, and verify software and systems.

 Ancestors (6)

  1. Formal methods
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook