1 research outputs found
Conditions of contracts for separating responsibilities in heterogeneous systems
- Author
- A Benveniste
- A Benveniste
- A Cau
- A Gacek
- A Lamsweerde van
- A Pnueli
- AÂ L Sangiovanni-Vincentelli
- B Delahaye
- B Jonsson
- B Meyer
- C Chilton
- CAR Hoare
- CB Jones
- CS Păsăreanu
- D Gurov
- DL Parnas
- DL Parnas
- DÂ B Rawat
- E Lee
- EA Ashcroft
- EW Dijkstra
- G Goessler
- J Engelfriet
- J Misra
- J Westman
- J-B Raclet
- JM Cobleigh
- Jonas Westman
- KG Larsen
- KS Namjoshi
- L Alfaro de
- L Alfaro de
- L Lamport
- L Lamport
- M Abadi
- M Abadi
- M Abadi
- M Broy
- M Broy
- M Davis
- M Jackson
- M Viswanathan
- Mattias Nyberg
- N Amla
- NA Lynch
- O Grumberg
- O Kupferman
- P Fritzson
- P Fritzson
- P Maier
- P Maier
- P Zave
- Q Xu
- R Alur
- R Alur
- R Milner
- R-J Back
- R-JJ Back
- S Bauer
- S Friedenthal
- S Owicki
- S Tripakis
- SD Brookes
- SS Bauer
- T Arts
- T Henzinger
- TTH Le
- W Roever de
- W-P Roever de
- Y-K Tsay
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study