Record Beta

NASA Formal Methods

https://id.confref.org/data/confref-portal/event/nfm2015

This record is part of the confref event NASA Formal Methods Symposium.

rdf:type	portal:Conference
schema:location	Pasadena (wd:Q485176)
rdfs:label	NASA Formal Methods
portal:acronym	NFM
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Pasadena
portal:country	USA
portal:endDate	2015-04-29
portal:keyword	257414 ASCENS
portal:keyword	Alan
portal:keyword	Alloca
portal:keyword	Alloy
portal:keyword	Assure
portal:keyword	Axiomatization
portal:keyword	Bark
portal:keyword	Berdine
portal:keyword	C++
portal:keyword	CSP
portal:keyword	Coherence
portal:keyword	Combustion
portal:keyword	Concurrent programs
portal:keyword	Cora
portal:keyword	Cute
portal:keyword	Data race
portal:keyword	Debug
portal:keyword	Mellon
portal:keyword	Veri
portal:keyword	microwave
portal:name	NASA Formal Methods
portal:portalPage	http://portal.confref.org/list/nfm2015
portal:series	https://id.confref.org/data/confref-portal/series/nfm
portal:startDate	2015-04-27
portal:submissionExtended	false
portal:year	2015
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106245941
cr:sameAs	https://dblp.org/db/conf/nfm/nfm2015

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.