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

Filter your results

1 Array
Image document

Developing Honest Java Programs with Diogenes

Nicola Atzei , Massimo Bartoletti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.52-61, ⟨10.1007/978-3-319-39570-8_4⟩
Conference papers hal-01432927v1