Persons tagged with «PMA»
| Name | Phone | Tags | |
|---|---|---|---|
Steffen, Martin
Professor
|
+47-22850417 | msteffen@ifi.uio.no | static analysis, program analysis, formal methods, PMA, concurrency, type systems, compositionality, programming language theory, verification, static analysis, compiler construction, model checking, object-orientation, verification, security, semantics, computer science |