Just-In-Time Reactive Synthesis

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Shahar Maoz; Ilia Shevrin

Journal title: ASE '20: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering

Journal publisher: IEEE

Published year: 2020

Published pages: 635-646

DOI identifier: 10.1145/3324884.3416557

ISBN: 978-1-4503-6768-4