矛盾
发表于 2025-4-1 05:32:30
0302-9743 ram Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, age
Fermentation
发表于 2025-4-1 08:55:33
http://reply.papertrans.cn/59/5879/587863/587863_62.png
Glaci冰
发表于 2025-4-1 11:46:15
978-3-540-22174-6Springer-Verlag Berlin Heidelberg 2004