Login / Signup

Synbit: synthesizing bidirectional programs using unidirectional sketches.

Masaomi YamaguchiKazutaka MatsudaCristina DavidMeng Wang
Published in: Formal Methods Syst. Des. (2022)
Keyphrases