Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233459611> ?p ?o ?g. }
Showing items 1 to 30 of
30
with 100 items per page.
- W4233459611 endingPage "66" @default.
- W4233459611 startingPage "49" @default.
- W4233459611 created "2022-05-12" @default.
- W4233459611 date "2018-10-03" @default.
- W4233459611 modified "2023-09-26" @default.
- W4233459611 title "Formal Methods" @default.
- W4233459611 cites W2061438988 @default.
- W4233459611 doi "https://doi.org/10.1201/9781315222233-11" @default.
- W4233459611 hasPublicationYear "2018" @default.
- W4233459611 type Work @default.
- W4233459611 citedByCount "0" @default.
- W4233459611 crossrefType "book-chapter" @default.
- W4233459611 hasConcept C41008148 @default.
- W4233459611 hasConceptScore W4233459611C41008148 @default.
- W4233459611 hasLocation W42334596111 @default.
- W4233459611 hasOpenAccess W4233459611 @default.
- W4233459611 hasPrimaryLocation W42334596111 @default.
- W4233459611 hasRelatedWork W11016543 @default.
- W4233459611 hasRelatedWork W12544054 @default.
- W4233459611 hasRelatedWork W1802230 @default.
- W4233459611 hasRelatedWork W2882144 @default.
- W4233459611 hasRelatedWork W5281039 @default.
- W4233459611 hasRelatedWork W5574817 @default.
- W4233459611 hasRelatedWork W563404 @default.
- W4233459611 hasRelatedWork W5963666 @default.
- W4233459611 hasRelatedWork W6008397 @default.
- W4233459611 hasRelatedWork W972044 @default.
- W4233459611 isParatext "false" @default.
- W4233459611 isRetracted "false" @default.
- W4233459611 workType "book-chapter" @default.