iastate.edu
Index
Directory
Maps
Safety
Sign Ons
iastate.edu
Index
Directory
Maps
Safety
Sign Ons
Menu
English
Deutsch
Čeština
Nederlands
Português do Brasil
Português
Français
Latviešu
Suomi
magyar
Log In
Email address
Password
Log in
or
Log in with Shibboleth
New user? Click here to register.
Have you forgotten your password?
Iowa State University
Digital Repository
COLLECTIONS
ABOUT US
BLOG
CONTACT US
FAQ
AFFILIATED LIBRARY UNITS
STATISTICS
Home
Departments and Author Profiles
Academic and Administrative Units
Computer Science
Computer Science
Date established
City
Country
ID
cs
Source URI
Description
Full item page
Publications
Authors
1286 results
Back to results
Filters
Author
Leavens, Gary
124
Rajan, Hridesh
108
Honavar, Vasant
86
Tirthapura, Srikanta
39
Dobbs, Drena
32
Show more
Subject
Computer science
214
Computer Science
36
specification
26
verification
26
JML language
21
Show more
Date
1969 - 1979
46
1980 - 1999
231
2000 - 2019
925
2020 - 2021
84
Has files
Yes
1279
No
7
Item Type
Publication
1286
Reset filters
Settings
Sort By
Relevance
Title Ascending
Title Descending
Results per page
1
5
10
20
40
60
80
100
All repository
Departments and Author Profiles
Student Research
University Scholarship
Search
Search Tools
Publication Search Results
Show statistical information
Top Items
Top Countries
Top Authors
