Skip to content
VuFind
Institutional Login
Language
English
Deutsch
Čeština
Slovak
Testovacia prevádzka
Search in PRIMO
Catalog
E knihy CVTI SR
Summon (testovací prístup)
EBSCO Discovery Service (testovací prístup)
All Fields
Title
Author
Subject
Find
Advanced
Theorem-proving support in pro...
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Book
View in EDS
Theorem-proving support in programming language semantics.
Saved in:
Bibliographic Details
Title:
Theorem-proving support in programming language semantics.
Source:
From Semantics to Computer Science; 2009, p337-362, 26p
Database:
Complementary Index
Description
Comments
Staff View
Be the first to leave a comment!
Your Comment
You must be logged in first