Paolo Arcaini, Angelo Gargantini. Test generation for sequential nets of Abstract State Machines with information passing. Science of Computer Programming, 94:93-108, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.