Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912094680> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2912094680 abstract "It is our great pleasure to welcome all of you to the sixth Workshop on Programming Languages meets Program Verification (PLPV).This year, the call for papers generated 12 submissions from all around the globe, of which the program committee selected 7 papers for publication. Each of these has been allotted time for a full presentation. We also invited Benjamin Pierce as an invited speaker. All this should provide us with an exciting program!" @default.
- W2912094680 created "2019-02-21" @default.
- W2912094680 creator A5039334115 @default.
- W2912094680 creator A5058771102 @default.
- W2912094680 date "2012-01-24" @default.
- W2912094680 modified "2023-09-27" @default.
- W2912094680 title "Proceedings of the sixth workshop on Programming languages meets program verification" @default.
- W2912094680 hasPublicationYear "2012" @default.
- W2912094680 type Work @default.
- W2912094680 sameAs 2912094680 @default.
- W2912094680 citedByCount "0" @default.
- W2912094680 crossrefType "proceedings-article" @default.
- W2912094680 hasAuthorship W2912094680A5039334115 @default.
- W2912094680 hasAuthorship W2912094680A5058771102 @default.
- W2912094680 hasConcept C115903868 @default.
- W2912094680 hasConcept C126838900 @default.
- W2912094680 hasConcept C15744967 @default.
- W2912094680 hasConcept C169760540 @default.
- W2912094680 hasConcept C199360897 @default.
- W2912094680 hasConcept C2775899829 @default.
- W2912094680 hasConcept C2777113389 @default.
- W2912094680 hasConcept C2777601897 @default.
- W2912094680 hasConcept C41008148 @default.
- W2912094680 hasConcept C71924100 @default.
- W2912094680 hasConceptScore W2912094680C115903868 @default.
- W2912094680 hasConceptScore W2912094680C126838900 @default.
- W2912094680 hasConceptScore W2912094680C15744967 @default.
- W2912094680 hasConceptScore W2912094680C169760540 @default.
- W2912094680 hasConceptScore W2912094680C199360897 @default.
- W2912094680 hasConceptScore W2912094680C2775899829 @default.
- W2912094680 hasConceptScore W2912094680C2777113389 @default.
- W2912094680 hasConceptScore W2912094680C2777601897 @default.
- W2912094680 hasConceptScore W2912094680C41008148 @default.
- W2912094680 hasConceptScore W2912094680C71924100 @default.
- W2912094680 hasLocation W29120946801 @default.
- W2912094680 hasOpenAccess W2912094680 @default.
- W2912094680 hasPrimaryLocation W29120946801 @default.
- W2912094680 hasRelatedWork W110563708 @default.
- W2912094680 hasRelatedWork W1494410195 @default.
- W2912094680 hasRelatedWork W1511402234 @default.
- W2912094680 hasRelatedWork W2048489498 @default.
- W2912094680 hasRelatedWork W2085170922 @default.
- W2912094680 hasRelatedWork W2251194185 @default.
- W2912094680 hasRelatedWork W2911877516 @default.
- W2912094680 hasRelatedWork W2912041259 @default.
- W2912094680 hasRelatedWork W2912772774 @default.
- W2912094680 hasRelatedWork W2912773126 @default.
- W2912094680 hasRelatedWork W2912959403 @default.
- W2912094680 hasRelatedWork W2913058443 @default.
- W2912094680 hasRelatedWork W2914395958 @default.
- W2912094680 hasRelatedWork W2914489911 @default.
- W2912094680 hasRelatedWork W2914845834 @default.
- W2912094680 hasRelatedWork W2915030750 @default.
- W2912094680 hasRelatedWork W36730048 @default.
- W2912094680 hasRelatedWork W69862423 @default.
- W2912094680 hasRelatedWork W82200956 @default.
- W2912094680 hasRelatedWork W183904622 @default.
- W2912094680 isParatext "false" @default.
- W2912094680 isRetracted "false" @default.
- W2912094680 magId "2912094680" @default.
- W2912094680 workType "article" @default.