MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Thesis Advisor: Dillon, Laura K.
×
Collection
Electronic Theses & Dissertations
2
Material Type
Theses
2
Language
English
2
Copyright Status
In Copyright
2
Subject
Computer programs--Verification
1
Computer software--Quality control
1
Computer software--Testing
1
Java (Computer program language)
1
Natural language processing (Computer science)
1
Programming languages (Electronic computers)
1
Synchronization
1
Year
TO
Apply
Search results
Showing 1 to 2 of 2 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Contract-based synchronization of multi-threaded Java programs
Huang, Yi
Text (2011)
Part of
Electronic Theses & Dissertations
Formalization and verification of property specification patterns
Bryndin, Dmitriy
Text (2010)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
