Science of Computer Programming
ISSNs: 0167-6423
Elsevier BV, Holland
Central database
Tidsskrift
Publikationer
(5)- In press
Coccinelle : Tool support for automated CERT C Secure Coding Standard certification
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
From Flow Logic to Static Type Systems for Coordination Languages
Publikation: Forskning - peer review › Tidsskriftartikel
- Udgivet
Refinement and verification in component-based model-driven design
Publikation: Forskning - peer review › Tidsskriftartikel
ID: 15202908