Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings (Q385988): Difference between revisions

Latest revision as of 18:30, 19 March 2024

scientific article

Language	Label	Description	Also known as
English	Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings	scientific article

Statements

instance of

scholarly article

0 references

title

Certified programs and proofs. Third international conference, CPP 2013, Melbourne, VIC, Australia, December 11--13, 2013. Proceedings (English)

0 references

published in

Lecture Notes in Computer Science

0 references

publication date

13 December 2013

0 references

describes a project that uses

0 references

0 references

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-03545-1

0 references

Identifiers

zbMATH Open document ID

1298.68028

0 references

DOI

10.1007/978-3-319-03545-1

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:385988

@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 68-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 00B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6237989
@@ Property / zbMATH DE Number: 6237989 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAFECode
@@ Property / describes a project that uses: SAFECode / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-03545-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2481309262
@@ Property / OpenAlex ID: W2481309262 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:385988