Roberto Boselli, Mirko Cesarini, Fabio Mercorio, Mario Mezzanzanica. Longitudinal data consistency verification using formal methods. IJIQ, 3(3):185-206, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.