Matches in SemOpenAlex for { <https://semopenalex.org/work/W2995474643> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2995474643 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.
- W2995474643 created "2019-12-26" @default.
- W2995474643 creator A5007446608 @default.
- W2995474643 date "2015-12-02" @default.
- W2995474643 modified "2023-09-27" @default.
- W2995474643 title "LibGuides: Formal Methods in Software Engineering: E-Resources" @default.
- W2995474643 hasPublicationYear "2015" @default.
- W2995474643 type Work @default.
- W2995474643 sameAs 2995474643 @default.
- W2995474643 citedByCount "0" @default.
- W2995474643 crossrefType "journal-article" @default.
- W2995474643 hasAuthorship W2995474643A5007446608 @default.
- W2995474643 hasConcept C115903868 @default.
- W2995474643 hasConcept C199360897 @default.
- W2995474643 hasConcept C2777904410 @default.
- W2995474643 hasConcept C41008148 @default.
- W2995474643 hasConcept C75606506 @default.
- W2995474643 hasConceptScore W2995474643C115903868 @default.
- W2995474643 hasConceptScore W2995474643C199360897 @default.
- W2995474643 hasConceptScore W2995474643C2777904410 @default.
- W2995474643 hasConceptScore W2995474643C41008148 @default.
- W2995474643 hasConceptScore W2995474643C75606506 @default.
- W2995474643 hasLocation W29954746431 @default.
- W2995474643 hasOpenAccess W2995474643 @default.
- W2995474643 hasPrimaryLocation W29954746431 @default.
- W2995474643 hasRelatedWork W147668556 @default.
- W2995474643 hasRelatedWork W1485230327 @default.
- W2995474643 hasRelatedWork W1581601271 @default.
- W2995474643 hasRelatedWork W1642730893 @default.
- W2995474643 hasRelatedWork W1969358963 @default.
- W2995474643 hasRelatedWork W2056447628 @default.
- W2995474643 hasRelatedWork W2087375971 @default.
- W2995474643 hasRelatedWork W2117094273 @default.
- W2995474643 hasRelatedWork W2135319023 @default.
- W2995474643 hasRelatedWork W2154334611 @default.
- W2995474643 hasRelatedWork W2166355767 @default.
- W2995474643 hasRelatedWork W2263188440 @default.
- W2995474643 hasRelatedWork W2489215766 @default.
- W2995474643 hasRelatedWork W2492486872 @default.
- W2995474643 hasRelatedWork W2585245964 @default.
- W2995474643 hasRelatedWork W2948331420 @default.
- W2995474643 hasRelatedWork W2953498830 @default.
- W2995474643 hasRelatedWork W3001089841 @default.
- W2995474643 hasRelatedWork W2329663660 @default.
- W2995474643 hasRelatedWork W3159048922 @default.
- W2995474643 isParatext "false" @default.
- W2995474643 isRetracted "false" @default.
- W2995474643 magId "2995474643" @default.
- W2995474643 workType "article" @default.