TY  - BOOK
AU  - Thomas, Wolfgang Ed.,
TI  - Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999: proceedings
SN  - 3540657193
CY  - Berlin
KW  - Computer software
KW  - Congresses
KW  - System analysis
N1  - Conference proceedings; held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99
ER  -