[IEEE 2008 15th Asia-Pacific Software Engineering Conference - Beijing, China (2008.12.3-2008.12.5)] 2008 15th Asia-Pacific Software Engineering Conference - A Technique to Check the Implementability of Behavioral Specifications with Frameworks
Zenmyo, Teruyoshi, Kobayashi, Takashi, Saeki, MotoshiYear:
2008
Language:
english
DOI:
10.1109/apsec.2008.19
File:
PDF, 306 KB
english, 2008