Iliasov, Alexei  (2012) Augmenting formal development with use case reasoning.   In:  Proc. of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012). Stockholm, Sweden. June 11-15, 2012.   Springer.      

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