Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto  (2015) Validating the Consistency of Specification Rules.  Technical Report. N/A.    (Unpublished)  

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>