• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

Cheng-Hao CaiJing SunGillian DobbieZhé HóuHadrien BrideJin Song DongScott Uk-Jin Lee
Published in: Formal Aspects Comput. (2022)
Keyphrases