Login / Signup

An abstraction refinement approach combining precise and approximated techniques.

Natasha SharyginaStefano TonettaAliaksei Tsitovich
Published in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases