Publication:
Splint User's Guide, Version 3.0.1

Simple item page
dc.contributor.authorEvans, David
dc.contributor.authorLarochelle, David
dc.date.accessioned2026-01-22T21:53:17Z
dc.date.issued2002-01-01
dc.descriptionOriginal submission date: 2013-10-11T20:21:10Z
dc.identifierv118rd54q
dc.identifier.citationEvans, David, and David Larochelle. "Splint User's Guide, Version 3.0.1." University of Virginia Dept. of Computer Science Tech Report (2002).
dc.identifier.doi10.18130/V3Q49M
dc.identifier.urihttps://doi.org/10.18130/V3Q49M
dc.identifier.urihttps://libraopen.library.virginia.edu/handle/item/9303
dc.languageEnglish
dc.language.isoen
dc.publisherUniversity of Virginia, Department of Computer Science
dc.rightsAll rights reserved (no additional license for public reuse)
dc.titleSplint User's Guide, Version 3.0.1
dc.typeTechnical Report
dspace.entity.typePublication
relation.isAuthorOfPublicationc666bfa7-3c33-408d-adeb-7f8d1c375d8e
relation.isAuthorOfPublication37891441-7f26-4eec-9c7b-e56722b4b8fa
relation.isAuthorOfPublication.latestForDiscoveryc666bfa7-3c33-408d-adeb-7f8d1c375d8e

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
CS-2002-24.pdf
Size:
999.91 KB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science