Author Details

Bjorner, Anders, Royal Institute of Technology



ISSN: 1083-589X