1st International Workshop on Empirical Formal Methods
EFM 2019
- URL: https://sites.google.com/view/efm19/
- Event Date: 2019-10-07 ~ 2019-10-11
- Submission Date: 2019-06-30
- Location: Porto, Portugal
Please, visit our workshop website for further details about the CfP and the event.
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
