Collection
FM 2021
This Special Collection is based on work that was presented to the FM 2021 Conference.
Editors
-
Dr. Marieke Huisman
University of Twente Netherlands
-
Dr. Naijun Zhang
Chinese Academy of Sciences China
-
Dr. Corina Pasareanu
Carnegie Mellon University/Perot Systems, NASA Ames Research Center United States
