Matches in SemOpenAlex for { <https://semopenalex.org/work/W136917420> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W136917420 endingPage "223" @default.
- W136917420 startingPage "217" @default.
- W136917420 created "2016-06-24" @default.
- W136917420 creator A5039052135 @default.
- W136917420 date "1984-12-01" @default.
- W136917420 modified "2023-09-27" @default.
- W136917420 title "Formal verification—its purpose and practice" @default.
- W136917420 hasPublicationYear "1984" @default.
- W136917420 type Work @default.
- W136917420 sameAs 136917420 @default.
- W136917420 citedByCount "0" @default.
- W136917420 crossrefType "journal-article" @default.
- W136917420 hasAuthorship W136917420A5039052135 @default.
- W136917420 hasConcept C41008148 @default.
- W136917420 hasConceptScore W136917420C41008148 @default.
- W136917420 hasLocation W1369174201 @default.
- W136917420 hasOpenAccess W136917420 @default.
- W136917420 hasPrimaryLocation W1369174201 @default.
- W136917420 hasRelatedWork W1481518662 @default.
- W136917420 hasRelatedWork W1514519234 @default.
- W136917420 hasRelatedWork W1560094997 @default.
- W136917420 hasRelatedWork W1566925011 @default.
- W136917420 hasRelatedWork W1605343538 @default.
- W136917420 hasRelatedWork W1979512591 @default.
- W136917420 hasRelatedWork W1985256374 @default.
- W136917420 hasRelatedWork W2043563043 @default.
- W136917420 hasRelatedWork W2098799476 @default.
- W136917420 hasRelatedWork W2254993539 @default.
- W136917420 hasRelatedWork W2398352412 @default.
- W136917420 hasRelatedWork W2483649756 @default.
- W136917420 hasRelatedWork W2498498356 @default.
- W136917420 hasRelatedWork W2500782055 @default.
- W136917420 hasRelatedWork W2502972448 @default.
- W136917420 hasRelatedWork W2562928796 @default.
- W136917420 hasRelatedWork W2798657341 @default.
- W136917420 hasRelatedWork W2911273612 @default.
- W136917420 hasRelatedWork W2958694866 @default.
- W136917420 hasRelatedWork W2765407651 @default.
- W136917420 isParatext "false" @default.
- W136917420 isRetracted "false" @default.
- W136917420 magId "136917420" @default.
- W136917420 workType "article" @default.