Title: Refinement techniques in software engineering
First published: 2006
Subjects: Congresses, Software engineering