Articles matching “Balaban”

  1. Mira Balaban, Igal Khitron, Michael Kifer, Logic-based Software Modeling with FOML, pp. 3:1-21, PDF, DOI. Volume 19, no. 3 (October 2020)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact