Matches in SemOpenAlex for { <https://semopenalex.org/work/W3030444050> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W3030444050 created "2020-06-05" @default.
- W3030444050 creator A5014907814 @default.
- W3030444050 creator A5024794217 @default.
- W3030444050 creator A5085218051 @default.
- W3030444050 date "2020-12-01" @default.
- W3030444050 modified "2023-09-23" @default.
- W3030444050 title "Using formal verification to develop higher assurance, more maintainable financial software" @default.
- W3030444050 hasPublicationYear "2020" @default.
- W3030444050 type Work @default.
- W3030444050 sameAs 3030444050 @default.
- W3030444050 citedByCount "0" @default.
- W3030444050 crossrefType "journal-article" @default.
- W3030444050 hasAuthorship W3030444050A5014907814 @default.
- W3030444050 hasAuthorship W3030444050A5024794217 @default.
- W3030444050 hasAuthorship W3030444050A5085218051 @default.
- W3030444050 hasConcept C115903868 @default.
- W3030444050 hasConcept C144133560 @default.
- W3030444050 hasConcept C199360897 @default.
- W3030444050 hasConcept C2777904410 @default.
- W3030444050 hasConcept C41008148 @default.
- W3030444050 hasConcept C75606506 @default.
- W3030444050 hasConceptScore W3030444050C115903868 @default.
- W3030444050 hasConceptScore W3030444050C144133560 @default.
- W3030444050 hasConceptScore W3030444050C199360897 @default.
- W3030444050 hasConceptScore W3030444050C2777904410 @default.
- W3030444050 hasConceptScore W3030444050C41008148 @default.
- W3030444050 hasConceptScore W3030444050C75606506 @default.
- W3030444050 hasLocation W30304440501 @default.
- W3030444050 hasOpenAccess W3030444050 @default.
- W3030444050 hasPrimaryLocation W30304440501 @default.
- W3030444050 hasRelatedWork W1502583098 @default.
- W3030444050 hasRelatedWork W1590973352 @default.
- W3030444050 hasRelatedWork W2008093022 @default.
- W3030444050 hasRelatedWork W2047656334 @default.
- W3030444050 hasRelatedWork W2048106207 @default.
- W3030444050 hasRelatedWork W2087904073 @default.
- W3030444050 hasRelatedWork W2097638534 @default.
- W3030444050 hasRelatedWork W2121880253 @default.
- W3030444050 hasRelatedWork W2139419668 @default.
- W3030444050 hasRelatedWork W2156955397 @default.
- W3030444050 hasRelatedWork W2240859037 @default.
- W3030444050 hasRelatedWork W2469477909 @default.
- W3030444050 hasRelatedWork W2923526370 @default.
- W3030444050 hasRelatedWork W3014786644 @default.
- W3030444050 hasRelatedWork W3131249260 @default.
- W3030444050 hasRelatedWork W3148359257 @default.
- W3030444050 hasRelatedWork W31989851 @default.
- W3030444050 hasRelatedWork W89112712 @default.
- W3030444050 hasRelatedWork W1675018487 @default.
- W3030444050 hasRelatedWork W341912331 @default.
- W3030444050 isParatext "false" @default.
- W3030444050 isRetracted "false" @default.
- W3030444050 magId "3030444050" @default.
- W3030444050 workType "article" @default.