Model checking software: on some new waves and some evergreens

Dragan Bosnacki, Stefan Edelkamp. Model checking software: on some new waves and some evergreens. STTT, 12(2):89-95, 2010. [doi]

Abstract

Abstract is missing.