Login / Signup

Directed model checking with distance-preserving abstractions.

Klaus DrägerBernd FinkbeinerAndreas Podelski
Published in: Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases