Advances in Software Specification and Verification - Minitrack Introduction

Ann E. Kelley Sobel, Richard C. Linger. Advances in Software Specification and Verification - Minitrack Introduction. In HICSS. 2001. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: