Travelled to:
1 × USA
Collaborated with:
S.Maoz N.Pomerantz J.O.Ringert
Talks about:
unsatisfi (1) connector (1) specif (1) compon (1) view (1) whi (1)
Person: Rafi Shalom
DBLP: Shalom:Rafi
Contributed to:
Wrote 1 papers:
- MoDELS-2017-MaozPRS #component #question #satisfiability #specification #why
- Why is My Component and Connector Views Specification Unsatisfiable? (SM, NP, JOR, RS), pp. 134–144.