Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Dipartimento di Informatica [Pisa]
labStructName_s : Palo Alto Research Center
Image document

Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach

Rui Abreu , Simon Ausserlechner , Birgit Hofer , Franz Wotawa
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.124-140, ⟨10.1007/978-3-319-25945-1_8⟩
Conference papers hal-01470160v1
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1