posted by system || 1172 views || tracked by 1 users: [display]

FDL 2008 : Forum on Specification, Verification & Design Languages


Conference Series : Forum on specification and Design Languages
When Sep 23, 2008 - Sep 25, 2008
Where Stuttgart, Germany
Submission Deadline Mar 31, 2008
Categories    computer

Call For Papers


Related Resources

ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
CAIJ 2017   Computer Applications: An International Journal
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
ACM--ICSCA 2018   ACM--2018 7th International Conference on Software and Computer Applications (ICSCA 2018)--Ei Compendex, Scopus and ISI
SOFL+MSVL 2017   The 7th international workshop on SOFL+MSVL
ICCTD--EI, Scopus 2018   2018 9th International Conference on Computer Technologies and Development (ICCTD 2018)--EI Compendex, Scopus
PriSC 2018   2nd Workshop on Principles of Secure Compilation
Graphics & Games 2018   Encyclopedia of Computer Graphics and Games
ATVA 2017   15th International Symposium on Automated Technology for Verification and Analysis
PSSV 2017   Eighth Workshop Program Semantics, Specification and Verification: Theory and Applications