About: Verified Software: Theories, Tools, Experiments

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Verified Software: Theories, Tools, Experiments Goto Sponge NotDistinct Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

scientific article

Attributes	Values
rdf:type	Item
description	artikull shkencor (sq) vetenskaplig artikel (sv) наукова стаття (uk) научна статија (mk) uitgave (nl) գիտական հոդված (hy) scientific article (en) wetenskaplike artikel (af) বৈজ্ঞানিক নিবন্ধ (bn) ശാസ്ത്ര പ്രബന്ധം (ml)
publication date	wds:Q22244830-9E1915A2-CA7F-412D-A761-89AE85B4CAE7
publication date	2008-01-01 00:00:00Z (xsd:dateTime)
Goodreads version/edition ID	wds:Q22244830-7A0668F0-4197-4AD5-9C19-EEB60163D892
Goodreads version/edition ID	5440254
rdfs:label	Verified Software: Theories, Tools, Experiments (en)
skos:prefLabel	Verified Software: Theories, Tools, Experiments (en)
name	Verified Software: Theories, Tools, Experiments (en)
author	wds:Q22244830-A41D5104-032C-4CAE-8FB0-ED7FA590D2DC
author	Jim Woodcock
title	wds:Q22244830-525AD675-4329-4C37-9EC5-CFDBFE8335D2
title	Verified Software: Theories, Tools, Experiments (en)
editor	wds:Q22244830-2CF6338C-4AEA-46B2-BB1A-3790766BC003 wds:Q22244830-84BF8520-1F65-4402-8384-A7E98104CB7D
editor	Bertrand Meyer Jim Woodcock
instance of	wds:Q22244830-825AC251-CC30-4CCD-A12D-8F1162531428
part of	wds:Q22244830-EB8FC5B3-F6DF-4DC3-836A-124F21ACC6E7
instance of	version, edition or translation
part of	Lecture Notes in Computer Science
DBLP publication ID	wds:Q22244830-21316C39-3E05-489E-BC71-D6DD05D3DACB
DBLP publication ID	https://dblp.org/rec/conf/vstte/2005
DBLP publication ID	conf/vstte/2005
publisher	wds:Q22244830-9255E144-9AFF-4714-9CBD-4A8537533DBF
published in	wds:Q22244830-28165A62-167C-4B41-959D-369A412B133D
subtitle	wds:Q22244830-C5B5A550-607C-4918-9A6F-289DDDFD2D8D
publisher	Springer Berlin Heidelberg
published in	Lecture Notes in Computer Science
subtitle	First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (en)
DOI	wds:Q22244830-DFA3C45A-BEBE-4E31-814F-7CE14305393C
DOI	http://dx.doi.org/10.1007/978-3-540-69149-5
DOI	10.1007/978-3-540-69149-5
maintained by WikiProject	wds:Q22244830-C6C49626-970F-4709-A7B6-E82FA8022B76
Open Library ID	wds:Q22244830-EBBAD2E5-31CF-44D8-AFED-02891EC7912E
Open Library ID	http://openlibrary.org/works/OL25542431M
maintained by WikiProject	WikiProject Mathematics
Open Library ID	OL25542431M
place of publication	wds:Q22244830-D52C3750-6E94-4265-9A0E-24222E756AB5
Goodreads work ID	wds:Q22244830-607cf751-0e24-4bc3-9666-b453596eeab7
place of publication	Berlin
Goodreads work ID	5507840
zbMATH Open document ID	wds:Q22244830-DC82E55C-EA12-4283-9004-F1217548E3CE
zbMATH Open document ID	1145.68310
Fatcat ID	wds:Q22244830-AE3A66D2-E2DD-4B4D-AA5A-8A9D75BA832D
Fatcat ID	release_kv32yyx4j5dllnffnj2cd2jbxu
ISBN-13	wds:Q22244830-B4B896DA-974F-4C4A-B068-46ABF6FFCBD2 wds:Q22244830-F746FE8E-636F-445E-A572-C4712EB667B2
ISBN-13	urn:ISBN:978-3-540-69147-1
ISBN-13	978-3-540-69147-1
is proceedings from	wds:Q22244830-1B215BAE-FE1E-40DA-8BEA-6F4E1A738631
is proceedings from	Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005
is about of	https://www.wikidata.org/wiki/Special:EntityData/Q22244830
is published in of	An Overview of Separation Logic
is published in of	wds:Q22244855-652013C4-828A-4CE5-B612-D08CA4C4CAF7

Faceted Search & Find service v1.16.117 as of May 05 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 196 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software