Date: 2012-03-13 12:40:54

Applied mathematics

Science

Quality

Systems engineering

Automata theory

Runtime verification

Assertion

Specification

Model checking

Formal methods

Theoretical computer science

Logic in computer science

NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 592,09 KB