Formal Methods for Enhanced Natural Disaster Management.

Moez Krichen, Mohammed Yahya Alzahrani

Browse the full AICCSA paper archive.