@Inproceedings{facs2012,
   joint-pub = {false},
   status = {public},
   task = {TG5.2},
   booktitle = {Proc. Formal Aspects of Computing},
   year = {2012},
   invited = {no},
   timestamp = {2013.11.07},
   main = {no},
   accessible = {true},
   title = {{Component Interfaces with Contracts on Ports}},
   editor = {Corina Pasareanu and Gwen Salaun},
   author = {Sebastian Bauer and Rolf Hennicker and Axel Legay},
   period = {2012},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {LMU},
   wp = {wp5}
}