Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / [electronic resource] :
edited by Matthew B. Dwyer, Antónia Lopes.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4422 0302-9743 ; .
9783540712893
Computer science Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters