Christian Emil Nielsen - Publications & Citations | 科言猫

未登录

返回

C

Christian Emil Nielsen

IT University Copenhagen

0H指数

2论文数

0被引数

收录论文 1

发表时间

Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic 基于线性时态逻辑的异步函数响应式编程属性测试

PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026

IF0

2026-01-01

0

PREAI

Nielsen, Christian Emil; Kristiansen, Mathias Faber; Bahr, Patrick

分享

收藏