Login / Signup

Synthesis of verifiable concurrent Java components from formal models.

Julio MariñoRaúl N. N. AlborodoLars-Åke FredlundÁngel Herranz-Nieva
Published in: Softw. Syst. Model. (2019)
Keyphrases