Logics of Specification Languages More Books by Dines Bjørner & Martin C. Henson

Software Engineering 3

2006

Software Engineering 2

2007

Software Engineering 1

2007