Persons tagged with «PMA»

Name Phone E-mail Tags
Picture of Martin Steffen 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
Feed from this page