|
FDL 2018
Forum on specification and Design Languages
|
|
Graphics & Games 2018
Encyclopedia of Computer Graphics and Games
|
|
DisCoTec 2019
International Federated Conference on Distributed Computing Techniques
|
|
BCIOT for COINS 2019
Special Track on Blockchain and Internet of Things (IoT)
|
|
VPT 2019
Seventh International Workshop on Verification and Program Transformation
|
|
COINS 2019
COINS 2019 Conference: Internet of Things | Artificial Intelligence & ML | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | EDA | VLSI
|
|
SBMF 2018
21st Brazilian Symposium on Formal Methods
|
|
ICCTAFA 2019
International Conference on Computer Technologies and Applications in Food and Agriculture
|
|
TOOLS 2019
Technology of Object-Oriented Languages and Systems
|
|
RV 2018
18th International Conference on Runtime Verification
|
