Login / Signup

Correctness of Object Oriented Models by Extended Type Inference.

Simon FosterOndrej RypacekGeorg Struth
Published in: ICTAC (2012)
Keyphrases