Alpuente, Maria.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Alpuente, Maria.
(Language materials, printed)
Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
by:
SpringerLink (Online service); Alpuente, Maria.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
Alpuente, Maria.; Workshop on the Preservation of Stability under Discretization ((2001 :); Cook, Byron.; Joubert, Christophe.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Programming languages (Electronic computers)
Software engineering
Computer Science.
Programming Techniques.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Logic programming