Wyniki wyszukiwania dla: Zhenjiang Hu
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Model-Checking and Algorithms > 562-578
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Transformation and Specialisation > 128-142