Participants in ABS: Abstract Behavioral Specification

Name Phone E-mail Tags
Einar Broch Johnsen Professor +47-22852509 einarj@ifi.uio.no