Sign in
SETS@ABZ
2018
2018
2018
Keyphrases
Publications
2018
Alberto Casagrande
,
Francesco Di Cosmo
,
Eugenio G. Omodeo
On Perfect Matchings for some Bipartite Graphs.
SETS@ABZ
(2018)
Olivier Hermant
Polarized Rewriting and Tableaux in B Set Theory.
SETS@ABZ
(2018)
Catherine Dubois
,
Sulyvan Weppe
Towards Coq Formalisation of {log} Set Constraints Resolution.
SETS@ABZ
(2018)
Domenico Cantone
,
Alberto Policriti
Encoding Sets as Real Numbers.
SETS@ABZ
(2018)
Maximiliano Cristiá
,
Gianfranco Rossi
Programming in Java with Restricted Intensional Sets.
SETS@ABZ
(2018)
Michael Leuschel
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk).
SETS@ABZ
(2018)
Domenico Cantone
,
Marianna Nicolosi Asmundo
,
Daniele Francesco Santamaria
.
SETS@ABZ
(2018)
volume 2199, 2018
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018.
SETS@ABZ
2199 (2018)