Toggle navigation
Log in
Toggle navigation
View Item
VTechWorks Home
ETDs: Virginia Tech Electronic Theses and Dissertations
Doctoral Dissertations
View Item
VTechWorks Home
ETDs: Virginia Tech Electronic Theses and Dissertations
Doctoral Dissertations
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Integrating formal specification and verification methods in software development
View/
Open
LD5655.V856_1989.H4.pdf (5.492Mb)
Downloads: 87
Date
1989
Author
He, Xudong
Metadata
Show full item record
URI
http://hdl.handle.net/10919/54535
Collections
Doctoral Dissertations
[13025]
Search VTechWorks
This Collection
VTechWorks
About
Policies
Help
Browse
All of VTechWorks
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Log in
Register
Statistics
View Usage Statistics
