Abstraction and Modelling (2006)

by D
Venue:Bjørner: Software Engineering