Description
Software Engineering and Formal Methods, 1st ed. 2017
15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: Cimatti Alessandro, Sirjani Marjan
Language: EnglishSubject for Software Engineering and Formal Methods:
Keywords
artificial intelligence; computer software selection and evaluation; data security; distributed computer systems; formal methods; formal specification; hardware; model checker; model checking; problem solving; program compilers; programming languages; satisfiability; security systems; semantics; software engineering; specifications; temporal logic; theorem proving; verification
Support: Print on demand
Description
/li>Comment
/li>
Includes supplementary material: sn.pub/extras