Back to Results
First PageMeta Content
Formal methods / Software engineering / Software testing / Model checking / Postcondition / Software development process / Requirement / Model-based testing / Theoretical computer science / Software development / Logic in computer science


Agile Verification Gerard J. Holzmann [removed] how we design & test software today
Add to Reading List

Document Date: 2012-08-03 13:15:57

Open Document

File Size: 314,47 KB

Share Result on Facebook

Company

Lucent Technologies / /

/

IndustryTerm

access server call processing kernel / /

OperatingSystem

Linux / Ubuntu / /

Person

Gerard J. Holzmann / /

ProgrammingLanguage

C / /

Technology

Linux / /

SocialTag