Information Systems-Correctness and Reusability - Selected Papers Form the Is-Core Workshop - Wieringa R J & Feenstra R B (World Scientific, 1995)
Keywords: Computer Science