Verification of Airport Control Using Lisp Functional Language.

Shiva Asadianfam, Hoshang Kolivand

Browse the full DeSE paper archive.