Electronic Notes in Theoretical Computer Science
ISSNs: 1571-0661
Elsevier BV, Holland
Central database
Tidsskrift
Publikationer
(14)- Udgivet
Preface : Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO) 2010
Publikation: Forskning › Leder
- Udgivet
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Present and Absent Sets : Abstraction for Data Intensive Systems Suited for Testing
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
ID: 15800207