Change search
ReferencesLink to record
Permanent link

Direct link
Verification of Erlang programs: factoring out the side-effect-free fragment
Number of Authors: 2
2000 (English)Conference paper (Refereed)
Place, publisher, year, edition, pages
2000, 1.
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-14863OAI: diva2:1036157
Proceedings of Formal Methods in Industrial Critical Systems 2000
GMD Report, no. 91,109-122.Available from: 2016-10-13 Created: 2016-10-13

Open Access in DiVA

fulltext(77 kB)2 downloads
File information
File name FULLTEXT01.gzFile size 77 kBChecksum SHA-512
Type fulltextMimetype application/x-gzip

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link