Matthew Engskow

Embry Riddle Aeronautical University, USA

Articles in Scholarly Journals [Incomplete List]

  1. Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
    Advances in Software Engineering, vol. 2011, Article ID 869182, 12 pages, 2011