Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 57-71
Źródło
Abstrakt
Identyfikatory
ISSN serii : | 0302-9743 |
e-ISSN serii : | 1611-3349 |
ISBN książki : | 978-3-540-22381-8 |
e-ISBN książki : | 978-3-540-27815-3 |
DOI | 10.1007/978-3-540-27815-3_9 |