DMCA

Abstract specification theory: an overview (2003)

by Andrzej Tarlecki
Venue:Logics of Engineering Software
Citations:6 - 4 self