Author:
Dybjer P.,Qiao Haiyan ,Takeyama M.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Binary Decision Diagrams: From Tree Compaction to Sampling;LATIN 2020: Theoretical Informatics;2020
2. Alloy Meets the Algebra of Programming: A Case Study;IEEE Transactions on Software Engineering;2013-03
3. Software Testing;SpringerBriefs in Information Systems;2012
4. Static contract checking for Haskell;ACM SIGPLAN Notices;2009-01-21
5. Random Generators for Dependent Types;Theoretical Aspects of Computing - ICTAC 2004;2005