TY  - BOOK
AU  - Wieringa R J & Feenstra R B
TI  - Information Systems-Correctness and Reusability - Selected Papers Form the Is-Core Workshop
SN  - 9789814532853
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/2730#t=toc
ER  -