FORUM : A Multiple-Conclusion Specification Logic

この論文にアクセスする

収録刊行物

  • Theoretical Computer Science

    Theoretical Computer Science 165(1), 201-232, 1996

被引用文献:  2件中 1-2件 を表示

各種コード

ページトップへ