Introduction to the Special Issue on Verification and Computational Logic

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

/persons/resource/persons45201

Podelski, Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

There are no locators available

There are currently no full texts shared for your IP range.

公開されているフルテキストはありません

There is no public supplementary material available

Podelski, A. (2004). Introduction to the Special Issue on Verification and Computational Logic. Theory and Practice of Logic Programming (TPLP), 4.

要旨はありません