Programs, Proofs, Processes

AuthID
P-002-583
3
Author(s)
Lowe, B
·
Mayordomo, E
Document Type
Editorial Material
Year published
2012
Published
in THEORY OF COMPUTING SYSTEMS, ISSN: 1432-4350
Volume: 51, Issue: 3, Pages: 267-269 (3)
Indexing
Publication Identifiers
Openlibrary: OL35770604M
SCOPUS: 2-s2.0-84862211720
Wos: WOS:000308697300001
Source Identifiers
ISSN: 1432-4350
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.