Searching for "Specification and Verification Using Dependent Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

unknown title
by John H. Wensley, Leslie Lamport, Jack Goldberg, Milton W. Green, Karl N. Levitt
… and verification using dependent types. IEEE Transactions on Software Engineering, 16(9):949-964, September 1989…
Add To MetaCart

Abstracts from the 1989 HOL Users Group Meeting
by Phillip Windley Editor, Phillip J. Windley, Keith Hanna — 1989
… is the increased clarity of specifications. References: 1. "Specification and Verification using Dependent Types…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB