Back to Results
First PageMeta Content
Computer science / Model checking / Software development process / Large-scale Complex IT Systems / ACM Transactions on Programming Languages and Systems / Model-based testing / Software engineering / Institute for System Programming / Brent Hailpern / Science / Formal methods / Software development


Prof. Bernhard Steffen TU Dortmund BIO
Add to Reading List

Document Date: 2013-06-04 07:05:11

Open Document

File Size: 12,46 KB

Share Result on Facebook
UPDATE