Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 2 of 2 |
Sort by
|
Book
Proceedings of the 3rd workshop on Programming languages meets program verification
Loading...
Authors:
Altenkirch, Thorsten
---
Association for Computing Machinery-Digital Library.
ISBN: 1605583308 Year: 2009 Publisher: ACM
ISBN: 1605583308 Year: 2009 Publisher: ACM
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009
Loading...
Authors:
Altenkirch, Thorsten
---
Millstein, Todd
---
PLPV '09
---
A C M Special Interest Group
---
ACM Special Interest Group on Programming Languages
Year: 2009 Publisher: [Place of publication not identified] Association for Computing Machinery
Year: 2009 Publisher: [Place of publication not identified] Association for Computing Machinery
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Computer programs --- Programming languages (Electronic computers) --- Verification
| Listing 1 - 2 of 2 |
Sort by
|