Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048787084> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3048787084 abstract "The History of Formal Methods 2019 workshop ended with a discussion reflecting on the discipline of formal methods. An initial prompting question, “What have formal methods ever done for us?”, was presented, but the discussion evolved from there into consideration of applicability, education, and even Star Trek. The session was chaired and curated by Troy Astarte, who has also prepared this summary of the discussion. It is not a perfect transcription but rather a report on the interesting and stimulating conversation that resulted." @default.
- W3048787084 created "2020-08-18" @default.
- W3048787084 creator A5037549957 @default.
- W3048787084 date "2020-01-01" @default.
- W3048787084 modified "2023-10-06" @default.
- W3048787084 title "What Have Formal Methods Ever Done for Us? An Audience Discussion" @default.
- W3048787084 cites W2113435553 @default.
- W3048787084 cites W2150189917 @default.
- W3048787084 cites W2506612625 @default.
- W3048787084 cites W4235854748 @default.
- W3048787084 cites W610636045 @default.
- W3048787084 doi "https://doi.org/10.1007/978-3-030-54997-8_7" @default.
- W3048787084 hasPublicationYear "2020" @default.
- W3048787084 type Work @default.
- W3048787084 sameAs 3048787084 @default.
- W3048787084 citedByCount "0" @default.
- W3048787084 crossrefType "book-chapter" @default.
- W3048787084 hasAuthorship W3048787084A5037549957 @default.
- W3048787084 hasConcept C111498074 @default.
- W3048787084 hasConcept C11413529 @default.
- W3048787084 hasConcept C116253237 @default.
- W3048787084 hasConcept C136764020 @default.
- W3048787084 hasConcept C138885662 @default.
- W3048787084 hasConcept C146072743 @default.
- W3048787084 hasConcept C179926584 @default.
- W3048787084 hasConcept C199360897 @default.
- W3048787084 hasConcept C2777200299 @default.
- W3048787084 hasConcept C2778653333 @default.
- W3048787084 hasConcept C2779182362 @default.
- W3048787084 hasConcept C2985583900 @default.
- W3048787084 hasConcept C41008148 @default.
- W3048787084 hasConcept C41895202 @default.
- W3048787084 hasConcept C75606506 @default.
- W3048787084 hasConceptScore W3048787084C111498074 @default.
- W3048787084 hasConceptScore W3048787084C11413529 @default.
- W3048787084 hasConceptScore W3048787084C116253237 @default.
- W3048787084 hasConceptScore W3048787084C136764020 @default.
- W3048787084 hasConceptScore W3048787084C138885662 @default.
- W3048787084 hasConceptScore W3048787084C146072743 @default.
- W3048787084 hasConceptScore W3048787084C179926584 @default.
- W3048787084 hasConceptScore W3048787084C199360897 @default.
- W3048787084 hasConceptScore W3048787084C2777200299 @default.
- W3048787084 hasConceptScore W3048787084C2778653333 @default.
- W3048787084 hasConceptScore W3048787084C2779182362 @default.
- W3048787084 hasConceptScore W3048787084C2985583900 @default.
- W3048787084 hasConceptScore W3048787084C41008148 @default.
- W3048787084 hasConceptScore W3048787084C41895202 @default.
- W3048787084 hasConceptScore W3048787084C75606506 @default.
- W3048787084 hasLocation W30487870841 @default.
- W3048787084 hasOpenAccess W3048787084 @default.
- W3048787084 hasPrimaryLocation W30487870841 @default.
- W3048787084 hasRelatedWork W1458883969 @default.
- W3048787084 hasRelatedWork W1485215206 @default.
- W3048787084 hasRelatedWork W1571150310 @default.
- W3048787084 hasRelatedWork W2048723149 @default.
- W3048787084 hasRelatedWork W2058666223 @default.
- W3048787084 hasRelatedWork W2062963571 @default.
- W3048787084 hasRelatedWork W2100135301 @default.
- W3048787084 hasRelatedWork W2115601522 @default.
- W3048787084 hasRelatedWork W2123390067 @default.
- W3048787084 hasRelatedWork W2141097151 @default.
- W3048787084 hasRelatedWork W2326566563 @default.
- W3048787084 hasRelatedWork W2414153498 @default.
- W3048787084 hasRelatedWork W2467582582 @default.
- W3048787084 hasRelatedWork W2600683623 @default.
- W3048787084 hasRelatedWork W2886856874 @default.
- W3048787084 hasRelatedWork W2914385586 @default.
- W3048787084 hasRelatedWork W29258746 @default.
- W3048787084 hasRelatedWork W2948198720 @default.
- W3048787084 hasRelatedWork W612586278 @default.
- W3048787084 hasRelatedWork W2739625602 @default.
- W3048787084 isParatext "false" @default.
- W3048787084 isRetracted "false" @default.
- W3048787084 magId "3048787084" @default.
- W3048787084 workType "book-chapter" @default.