Dezyne: Paving the way to practical formal software engineering

被引：0
|
作者：
van Beusekom, Rutger [1 ]
de Jonge, Bert [1 ]
Hoogendijk, Paul [1 ]
Nieuwenhuizen, Jan [1 ]
机构：
[1] Verum Software Tools B.V, Netherlands
来源：
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2021年 / 338卷
关键词：
721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory - 723.1 Computer Programming - 723.1.1 Computer Programming Languages - 723.5 Computer Applications;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Concurrency control
引用
收藏
页码：19 / 30
相关论文
共 50 条
  • [31] PAVING THE WAY
    PROULX, EA
    HORTICULTURE, 1984, 62 (04): : 32 - 36
  • [32] Formal techniques in software engineering: Correct software and safe systems
    Liggesmeyer, Peter
    Theorem Proving in Higher Order Logics, Proceedings, 2007, 4732 : 3 - 4
  • [33] Paving the way
    Anon
    Recycling Today, 2001, 39 (04):
  • [34] Paving the way
    Fischetti, M
    SCIENTIFIC AMERICAN, 2005, 293 (04) : 96 - 96
  • [35] Paving the way
    Ellis, S.
    Dudgeon, R.
    2001, Palladian Publications (05):
  • [36] Paving the way
    Sutton, Phil
    Building Engineer, 2020, 95 (01):
  • [37] Paving the way
    Morring Jr., Frank
    Aviation Week and Space Technology (New York), 2006, 164 (20): : 80 - 81
  • [38] PAVING THE WAY
    OLEARY, M
    AIR PROGRESS, 1984, 46 (11): : 48 - &
  • [39] PRACTICAL TRAFFIC ENGINEERING - THE PHOENIX WAY
    SPARKS, JW
    ITE JOURNAL-INSTITUTE OF TRANSPORTATION ENGINEERS, 1982, 52 (12): : 19 - 22
  • [40] Paving the Way
    Ferguson, Pamela Ellen
    NEW YORK TIMES BOOK REVIEW, 2021, 126 : 6 - 6
12345