Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verification of Erlang programs: factoring out the side-effect-free fragment
RISE - Research Institutes of Sweden, ICT, SICS.
RISE - Research Institutes of Sweden, ICT, SICS.
2000 (English)In: Proceedings of Formal Methods in Industrial Critical Systems 2000, April 2000, Berlin, Germany., 2000, 1Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2000, 1.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22675OAI: oai:DiVA.org:ri-22675DiVA: diva2:1042240
Conference
Formal Methods in Industrial Critical Systems 2000
Note

GMD Report, no. 91,109-122.

Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-10-09Bibliographically approved

Open Access in DiVA

No full text

By organisation
SICS
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf