Matches in SemOpenAlex for { <https://semopenalex.org/work/W2973756486> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2973756486 endingPage "10" @default.
- W2973756486 startingPage "3" @default.
- W2973756486 abstract "Formal methods are invaluable for reasoning about complex systems. As these techniques and tools have improved in expressiveness and scale, their adoption has grown rapidly. Sustaining this growth, however, requires attention to not only the technical but also the human side. In this paper (and accompanying talk), we discuss some of the challenges and opportunities for human factors in formal methods." @default.
- W2973756486 created "2019-09-26" @default.
- W2973756486 creator A5024394821 @default.
- W2973756486 creator A5079753562 @default.
- W2973756486 date "2019-01-01" @default.
- W2973756486 modified "2023-09-23" @default.
- W2973756486 title "The Human in Formal Methods" @default.
- W2973756486 cites W1970209023 @default.
- W2973756486 cites W1973938051 @default.
- W2973756486 cites W2008997840 @default.
- W2973756486 cites W2015077407 @default.
- W2973756486 cites W2016839846 @default.
- W2973756486 cites W2065276745 @default.
- W2973756486 cites W2072014455 @default.
- W2973756486 cites W2105357036 @default.
- W2973756486 cites W2117336060 @default.
- W2973756486 cites W2144902156 @default.
- W2973756486 cites W2146356111 @default.
- W2973756486 cites W2167086899 @default.
- W2973756486 cites W2296248453 @default.
- W2973756486 cites W2517261848 @default.
- W2973756486 cites W2557262758 @default.
- W2973756486 cites W2744460230 @default.
- W2973756486 cites W2884432391 @default.
- W2973756486 cites W2885271276 @default.
- W2973756486 cites W2886585694 @default.
- W2973756486 cites W2915418264 @default.
- W2973756486 cites W2916601118 @default.
- W2973756486 cites W2965029801 @default.
- W2973756486 cites W4250900491 @default.
- W2973756486 cites W777621473 @default.
- W2973756486 doi "https://doi.org/10.1007/978-3-030-30942-8_1" @default.
- W2973756486 hasPublicationYear "2019" @default.
- W2973756486 type Work @default.
- W2973756486 sameAs 2973756486 @default.
- W2973756486 citedByCount "8" @default.
- W2973756486 countsByYear W29737564862020 @default.
- W2973756486 countsByYear W29737564862021 @default.
- W2973756486 countsByYear W29737564862022 @default.
- W2973756486 countsByYear W29737564862023 @default.
- W2973756486 crossrefType "book-chapter" @default.
- W2973756486 hasAuthorship W2973756486A5024394821 @default.
- W2973756486 hasAuthorship W2973756486A5079753562 @default.
- W2973756486 hasConcept C111498074 @default.
- W2973756486 hasConcept C115903868 @default.
- W2973756486 hasConcept C154945302 @default.
- W2973756486 hasConcept C199360897 @default.
- W2973756486 hasConcept C205649164 @default.
- W2973756486 hasConcept C2778755073 @default.
- W2973756486 hasConcept C2985583900 @default.
- W2973756486 hasConcept C41008148 @default.
- W2973756486 hasConcept C58640448 @default.
- W2973756486 hasConcept C75606506 @default.
- W2973756486 hasConceptScore W2973756486C111498074 @default.
- W2973756486 hasConceptScore W2973756486C115903868 @default.
- W2973756486 hasConceptScore W2973756486C154945302 @default.
- W2973756486 hasConceptScore W2973756486C199360897 @default.
- W2973756486 hasConceptScore W2973756486C205649164 @default.
- W2973756486 hasConceptScore W2973756486C2778755073 @default.
- W2973756486 hasConceptScore W2973756486C2985583900 @default.
- W2973756486 hasConceptScore W2973756486C41008148 @default.
- W2973756486 hasConceptScore W2973756486C58640448 @default.
- W2973756486 hasConceptScore W2973756486C75606506 @default.
- W2973756486 hasLocation W29737564861 @default.
- W2973756486 hasOpenAccess W2973756486 @default.
- W2973756486 hasPrimaryLocation W29737564861 @default.
- W2973756486 hasRelatedWork W1517942333 @default.
- W2973756486 hasRelatedWork W1524361563 @default.
- W2973756486 hasRelatedWork W1964111820 @default.
- W2973756486 hasRelatedWork W2072697836 @default.
- W2973756486 hasRelatedWork W2354121810 @default.
- W2973756486 hasRelatedWork W2562928796 @default.
- W2973756486 hasRelatedWork W2605218250 @default.
- W2973756486 hasRelatedWork W2783678835 @default.
- W2973756486 hasRelatedWork W3091728393 @default.
- W2973756486 hasRelatedWork W61995002 @default.
- W2973756486 isParatext "false" @default.
- W2973756486 isRetracted "false" @default.
- W2973756486 magId "2973756486" @default.
- W2973756486 workType "book-chapter" @default.