10th International Conference, FOSSACS 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
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 2-16
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 17-31
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 32-47
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 48-62
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 63-77
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 78-92
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 93-107
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 108-122
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 123-137
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 138-152
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 153-167
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 168-182
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 183-197
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 198-212
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 213-227
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 228-242
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 243-257
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 258-273
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 274-286
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 287-301