Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594156945> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W1594156945 endingPage "51" @default.
- W1594156945 startingPage "48" @default.
- W1594156945 abstract "An author who elects to use the phrase “Where Next?” in a title clearly has predictive or prescriptive intent. In my case it is the latter: I cannot say how formal methods will develop in the next few years, still less whether or how they will be adopted in practice, but I do have views on how they should develop and what ought to encourage their adoption in practice, and this World Congress seems an excellent opportunity to impose these views on the public." @default.
- W1594156945 created "2016-06-24" @default.
- W1594156945 creator A5020087247 @default.
- W1594156945 date "1999-01-01" @default.
- W1594156945 modified "2023-10-15" @default.
- W1594156945 title "Mechanized Formal Methods: Where Next?" @default.
- W1594156945 doi "https://doi.org/10.1007/3-540-48119-2_3" @default.
- W1594156945 hasPublicationYear "1999" @default.
- W1594156945 type Work @default.
- W1594156945 sameAs 1594156945 @default.
- W1594156945 citedByCount "10" @default.
- W1594156945 crossrefType "book-chapter" @default.
- W1594156945 hasAuthorship W1594156945A5020087247 @default.
- W1594156945 hasBestOaLocation W15941569451 @default.
- W1594156945 hasConcept C115903868 @default.
- W1594156945 hasConcept C154945302 @default.
- W1594156945 hasConcept C17744445 @default.
- W1594156945 hasConcept C199360897 @default.
- W1594156945 hasConcept C2776224158 @default.
- W1594156945 hasConcept C2985583900 @default.
- W1594156945 hasConcept C39549134 @default.
- W1594156945 hasConcept C41008148 @default.
- W1594156945 hasConcept C75606506 @default.
- W1594156945 hasConceptScore W1594156945C115903868 @default.
- W1594156945 hasConceptScore W1594156945C154945302 @default.
- W1594156945 hasConceptScore W1594156945C17744445 @default.
- W1594156945 hasConceptScore W1594156945C199360897 @default.
- W1594156945 hasConceptScore W1594156945C2776224158 @default.
- W1594156945 hasConceptScore W1594156945C2985583900 @default.
- W1594156945 hasConceptScore W1594156945C39549134 @default.
- W1594156945 hasConceptScore W1594156945C41008148 @default.
- W1594156945 hasConceptScore W1594156945C75606506 @default.
- W1594156945 hasLocation W15941569451 @default.
- W1594156945 hasOpenAccess W1594156945 @default.
- W1594156945 hasPrimaryLocation W15941569451 @default.
- W1594156945 hasRelatedWork W1502072411 @default.
- W1594156945 hasRelatedWork W1524361563 @default.
- W1594156945 hasRelatedWork W1594156945 @default.
- W1594156945 hasRelatedWork W1614816533 @default.
- W1594156945 hasRelatedWork W1754414285 @default.
- W1594156945 hasRelatedWork W1794016765 @default.
- W1594156945 hasRelatedWork W1964111820 @default.
- W1594156945 hasRelatedWork W2063786030 @default.
- W1594156945 hasRelatedWork W2748952813 @default.
- W1594156945 hasRelatedWork W2899084033 @default.
- W1594156945 isParatext "false" @default.
- W1594156945 isRetracted "false" @default.
- W1594156945 magId "1594156945" @default.
- W1594156945 workType "book-chapter" @default.