Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385280280> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W4385280280 created "2023-07-27" @default.
- W4385280280 creator A5000156896 @default.
- W4385280280 date "2019-12-17" @default.
- W4385280280 modified "2023-10-16" @default.
- W4385280280 title "The Hoare-fol Tool" @default.
- W4385280280 hasPublicationYear "2019" @default.
- W4385280280 type Work @default.
- W4385280280 citedByCount "0" @default.
- W4385280280 crossrefType "report" @default.
- W4385280280 hasAuthorship W4385280280A5000156896 @default.
- W4385280280 hasBestOaLocation W43852802801 @default.
- W4385280280 hasConcept C104949639 @default.
- W4385280280 hasConcept C199360897 @default.
- W4385280280 hasConcept C41008148 @default.
- W4385280280 hasConcept C55439883 @default.
- W4385280280 hasConceptScore W4385280280C104949639 @default.
- W4385280280 hasConceptScore W4385280280C199360897 @default.
- W4385280280 hasConceptScore W4385280280C41008148 @default.
- W4385280280 hasConceptScore W4385280280C55439883 @default.
- W4385280280 hasLocation W43852802801 @default.
- W4385280280 hasOpenAccess W4385280280 @default.
- W4385280280 hasPrimaryLocation W43852802801 @default.
- W4385280280 hasRelatedWork W2013111119 @default.
- W4385280280 hasRelatedWork W2112962394 @default.
- W4385280280 hasRelatedWork W2118300983 @default.
- W4385280280 hasRelatedWork W2226137800 @default.
- W4385280280 hasRelatedWork W2382501300 @default.
- W4385280280 hasRelatedWork W3137189469 @default.
- W4385280280 hasRelatedWork W3162240892 @default.
- W4385280280 hasRelatedWork W4235530921 @default.
- W4385280280 hasRelatedWork W4243252198 @default.
- W4385280280 hasRelatedWork W4245713008 @default.
- W4385280280 isParatext "false" @default.
- W4385280280 isRetracted "false" @default.
- W4385280280 workType "report" @default.