Aarhus University Denmark;
University of Marburg Germany;
modularity; separate checking; logic metaprogramming;
机译:模块化逻辑元编程
机译:在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
机译:发现存在多种表示同一模数变换的方式的东部四值(Catuskoti)逻辑定义模数变换的相关性的发现
机译:模块化逻辑成分曲线图
机译:可编程LIM:在内存中的逻辑模块化和可重新配置方法
机译:逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
机译:模块化逻辑元编程