Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948331420> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2948331420 abstract "In software engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems" @default.
- W2948331420 created "2019-06-14" @default.
- W2948331420 creator A5007446608 @default.
- W2948331420 date "2015-12-02" @default.
- W2948331420 modified "2023-09-27" @default.
- W2948331420 title "LibGuides: Formal Methods in Software Engineering: Home" @default.
- W2948331420 hasPublicationYear "2015" @default.
- W2948331420 type Work @default.
- W2948331420 sameAs 2948331420 @default.
- W2948331420 citedByCount "0" @default.
- W2948331420 crossrefType "journal-article" @default.
- W2948331420 hasAuthorship W2948331420A5007446608 @default.
- W2948331420 hasConcept C115903868 @default.
- W2948331420 hasConcept C199360897 @default.
- W2948331420 hasConcept C2777904410 @default.
- W2948331420 hasConcept C41008148 @default.
- W2948331420 hasConceptScore W2948331420C115903868 @default.
- W2948331420 hasConceptScore W2948331420C199360897 @default.
- W2948331420 hasConceptScore W2948331420C2777904410 @default.
- W2948331420 hasConceptScore W2948331420C41008148 @default.
- W2948331420 hasLocation W29483314201 @default.
- W2948331420 hasOpenAccess W2948331420 @default.
- W2948331420 hasPrimaryLocation W29483314201 @default.
- W2948331420 hasRelatedWork W147668556 @default.
- W2948331420 hasRelatedWork W1485230327 @default.
- W2948331420 hasRelatedWork W1485617965 @default.
- W2948331420 hasRelatedWork W1532026486 @default.
- W2948331420 hasRelatedWork W1581601271 @default.
- W2948331420 hasRelatedWork W1642730893 @default.
- W2948331420 hasRelatedWork W1969358963 @default.
- W2948331420 hasRelatedWork W2087375971 @default.
- W2948331420 hasRelatedWork W2135319023 @default.
- W2948331420 hasRelatedWork W2154334611 @default.
- W2948331420 hasRelatedWork W2166355767 @default.
- W2948331420 hasRelatedWork W2263188440 @default.
- W2948331420 hasRelatedWork W2489215766 @default.
- W2948331420 hasRelatedWork W2491204491 @default.
- W2948331420 hasRelatedWork W2492486872 @default.
- W2948331420 hasRelatedWork W2585245964 @default.
- W2948331420 hasRelatedWork W2739092470 @default.
- W2948331420 hasRelatedWork W2995474643 @default.
- W2948331420 hasRelatedWork W1749023391 @default.
- W2948331420 hasRelatedWork W3159048922 @default.
- W2948331420 isParatext "false" @default.
- W2948331420 isRetracted "false" @default.
- W2948331420 magId "2948331420" @default.
- W2948331420 workType "article" @default.