Nondeterministic Programming in Java with JSetL

Gianfranco Rossi, Federico Bergenti. Nondeterministic Programming in Java with JSetL. Fundamenta Informaticae, 140(3-4):393-412, 2015. [doi]

Abstract

Abstract is missing.