Persons tagged with «PMA»
Name | Phone | Tags | |
---|---|---|---|
![]() |
+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 |