Show simple item record

dc.contributor.author
Brucker, Achim D.
dc.contributor.author
Wolff, Burkhart
dc.contributor.editor
Geuvers, Herman
dc.contributor.editor
Wiedijk, Freek
dc.date.accessioned
2017-06-10T02:57:31Z
dc.date.available
2017-06-10T02:57:31Z
dc.date.issued
2003
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/3-540-39185-1_4
dc.identifier.uri
http://hdl.handle.net/20.500.11850/52418
dc.language.iso
en
dc.publisher
Springer
dc.subject
Formal Methods
dc.subject
Formal Semantics
dc.subject
Shallow Embeddings
dc.subject
Theorem Proving
dc.subject
OCL
dc.title
Using Theory Morphisms for Implementing Formal Methods Tools
dc.type
Conference Paper
ethz.book.title
Types for proofs and programs : international workshop : selected papers / TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
2646
ethz.journal.abbreviated
LNCS
ethz.pages.start
619
ethz.event
International Workshop Types for proofs and programs (TYPES 2002)
ethz.event.location
Berg en Dal, The Netherlands
ethz.event.date
April 24-28, 2002
ethz.notes
.
ethz.identifier.nebis
004525569
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-10T02:57:47Z
ethz.source
ECIT
ethz.identifier.importid
imp59364f7d6572687129
ethz.ecitpid
pub:85123
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T15:31:20Z
ethz.rosetta.lastUpdated
2018-10-01T17:41:36Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Using%20Theory%20Morphisms%20for%20Implementing%20Formal%20Methods%20Tools&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2003&rft.volume=2646&rft.spage=619&rft.issn=0302-9743&1611-3349&rft.au=Brucker,%20Achim%20D.&Wolff,%20Burkhart&rft.genre=proceeding&rft.btitle=Types%20for%20proofs%20and%20programs%20:%20international%20workshop%20:%20selected%20papers%20/%20TYPES%202002,%20Berg%20en%20Dal,%20The%20Netherlands,%20April%2024-28,
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record