Matches in SemOpenAlex for { <https://semopenalex.org/work/W2931428522> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2931428522 created "2019-04-11" @default.
- W2931428522 creator A5072524164 @default.
- W2931428522 date "2017-01-01" @default.
- W2931428522 modified "2023-09-27" @default.
- W2931428522 title "Mechanising an algebraic rely-guarantee refinement calculus" @default.
- W2931428522 cites W1189894384 @default.
- W2931428522 cites W2508779702 @default.
- W2931428522 hasPublicationYear "2017" @default.
- W2931428522 type Work @default.
- W2931428522 sameAs 2931428522 @default.
- W2931428522 citedByCount "0" @default.
- W2931428522 crossrefType "dissertation" @default.
- W2931428522 hasAuthorship W2931428522A5072524164 @default.
- W2931428522 hasConcept C134306372 @default.
- W2931428522 hasConcept C136119220 @default.
- W2931428522 hasConcept C199343813 @default.
- W2931428522 hasConcept C202444582 @default.
- W2931428522 hasConcept C2777686260 @default.
- W2931428522 hasConcept C33923547 @default.
- W2931428522 hasConcept C41008148 @default.
- W2931428522 hasConcept C71924100 @default.
- W2931428522 hasConcept C80444323 @default.
- W2931428522 hasConcept C90483712 @default.
- W2931428522 hasConcept C9376300 @default.
- W2931428522 hasConceptScore W2931428522C134306372 @default.
- W2931428522 hasConceptScore W2931428522C136119220 @default.
- W2931428522 hasConceptScore W2931428522C199343813 @default.
- W2931428522 hasConceptScore W2931428522C202444582 @default.
- W2931428522 hasConceptScore W2931428522C2777686260 @default.
- W2931428522 hasConceptScore W2931428522C33923547 @default.
- W2931428522 hasConceptScore W2931428522C41008148 @default.
- W2931428522 hasConceptScore W2931428522C71924100 @default.
- W2931428522 hasConceptScore W2931428522C80444323 @default.
- W2931428522 hasConceptScore W2931428522C90483712 @default.
- W2931428522 hasConceptScore W2931428522C9376300 @default.
- W2931428522 hasLocation W29314285221 @default.
- W2931428522 hasOpenAccess W2931428522 @default.
- W2931428522 hasPrimaryLocation W29314285221 @default.
- W2931428522 hasRelatedWork W1480577011 @default.
- W2931428522 hasRelatedWork W1483205556 @default.
- W2931428522 hasRelatedWork W1509982649 @default.
- W2931428522 hasRelatedWork W1513590676 @default.
- W2931428522 hasRelatedWork W1524759155 @default.
- W2931428522 hasRelatedWork W1588872712 @default.
- W2931428522 hasRelatedWork W1628824908 @default.
- W2931428522 hasRelatedWork W1983424569 @default.
- W2931428522 hasRelatedWork W2016535383 @default.
- W2931428522 hasRelatedWork W2108661280 @default.
- W2931428522 hasRelatedWork W2133487056 @default.
- W2931428522 hasRelatedWork W2154098055 @default.
- W2931428522 hasRelatedWork W2163681902 @default.
- W2931428522 hasRelatedWork W2186150166 @default.
- W2931428522 hasRelatedWork W2347051504 @default.
- W2931428522 hasRelatedWork W2610841893 @default.
- W2931428522 hasRelatedWork W2730955152 @default.
- W2931428522 hasRelatedWork W2899860906 @default.
- W2931428522 hasRelatedWork W3121751869 @default.
- W2931428522 hasRelatedWork W67968079 @default.
- W2931428522 isParatext "false" @default.
- W2931428522 isRetracted "false" @default.
- W2931428522 magId "2931428522" @default.
- W2931428522 workType "dissertation" @default.