International Conference on Software Engineering and Formal Methods - PDFSEARCH.IO - Document Search Engine

International Conference on Software Engineering and Formal Methods
Results: 7

#	Item
1	SCOPE PROGRAM COMMITTEE The 14th International Conference on Software Engineering and Formal Methods (SEFMis co-located with Software Technologies: Applications and Foundations, STAF 2016, and presents an interdi Add to Reading List Source URL: staf2016.conf.tuwien.ac.at - Date: 2016-02-22 06:21:00
2	Academic and Industrial Software Testing Conferences: Survey and Synergies Árpád Beszédes László Vidács Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2016-04-08 09:12:59 Engineering Academia Computing Academic conferences Piscataway New Jersey International Conference on Software Engineering and Formal Methods ISSRE Software engineering Software testing International Federation for Information Processing Software verification Institute of Electrical and Electronics Engineers
3	CALL FOR PAPERS - SEFM 2010 The 8th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) Pisa, Italy Add to Reading List Source URL: www.sefm2010.isti.cnr.it Language: English - Date: 2010-09-24 10:00:12
4	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
5	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
6	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
7	FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013 Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-03-19 13:18:58 Algorithmic Number Theory Symposium Computer science Science Mathematics Formal methods International Conference on Software Engineering and Formal Methods Electronic submission

UPDATE