FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000690876> ?p ?o ?g. }

• W2000690876 endingPage "42" @default.
• W2000690876 startingPage "34" @default.
• W2000690876 abstract "The authors give a short overview of the B theorem prover and report on its experimental evaluation. They describe the application of B to control VDM developments and illustrate this by means of excerpts from a case study. This work results in a formal description of the logical framework of VDM and opens perspectives for the reuse of software developments. >" @default.
• W2000690876 created "2016-06-24" @default.
• W2000690876 creator A5034605686 @default.
• W2000690876 creator A5036646506 @default.
• W2000690876 creator A5040108036 @default.
• W2000690876 date "1990-02-01" @default.
• W2000690876 modified "2023-09-28" @default.
• W2000690876 title "An experiment in formal software development: using the B theorem prover on a VDM case study" @default.
• W2000690876 cites W1543490761 @default.
• W2000690876 cites W1550695818 @default.
• W2000690876 cites W1551293951 @default.
• W2000690876 cites W1575678657 @default.
• W2000690876 cites W1590828018 @default.
• W2000690876 cites W159983279 @default.
• W2000690876 cites W1606021777 @default.
• W2000690876 cites W1657911928 @default.
• W2000690876 cites W1970495662 @default.
• W2000690876 cites W1974190112 @default.
• W2000690876 cites W2032273637 @default.
• W2000690876 cites W2039977878 @default.
• W2000690876 cites W2070577487 @default.
• W2000690876 cites W2103953153 @default.
• W2000690876 cites W2120950788 @default.
• W2000690876 cites W2128057448 @default.
• W2000690876 cites W57277416 @default.
• W2000690876 cites W80046375 @default.
• W2000690876 doi "https://doi.org/10.5555/100296.100300" @default.
• W2000690876 hasPublicationYear "1990" @default.
• W2000690876 type Work @default.
• W2000690876 sameAs 2000690876 @default.
• W2000690876 citedByCount "2" @default.
• W2000690876 crossrefType "proceedings-article" @default.
• W2000690876 hasAuthorship W2000690876A5034605686 @default.
• W2000690876 hasAuthorship W2000690876A5036646506 @default.
• W2000690876 hasAuthorship W2000690876A5040108036 @default.
• W2000690876 hasConcept C108710211 @default.
• W2000690876 hasConcept C111498074 @default.
• W2000690876 hasConcept C115903868 @default.
• W2000690876 hasConcept C116253237 @default.
• W2000690876 hasConcept C127413603 @default.
• W2000690876 hasConcept C159718280 @default.
• W2000690876 hasConcept C199343813 @default.
• W2000690876 hasConcept C199360897 @default.
• W2000690876 hasConcept C206588197 @default.
• W2000690876 hasConcept C206880738 @default.
• W2000690876 hasConcept C2524010 @default.
• W2000690876 hasConcept C2777686260 @default.
• W2000690876 hasConcept C2777904410 @default.
• W2000690876 hasConcept C33923547 @default.
• W2000690876 hasConcept C41008148 @default.
• W2000690876 hasConcept C529173508 @default.
• W2000690876 hasConcept C548081761 @default.
• W2000690876 hasConcept C71924100 @default.
• W2000690876 hasConcept C75606506 @default.
• W2000690876 hasConceptScore W2000690876C108710211 @default.
• W2000690876 hasConceptScore W2000690876C111498074 @default.
• W2000690876 hasConceptScore W2000690876C115903868 @default.
• W2000690876 hasConceptScore W2000690876C116253237 @default.
• W2000690876 hasConceptScore W2000690876C127413603 @default.
• W2000690876 hasConceptScore W2000690876C159718280 @default.
• W2000690876 hasConceptScore W2000690876C199343813 @default.
• W2000690876 hasConceptScore W2000690876C199360897 @default.
• W2000690876 hasConceptScore W2000690876C206588197 @default.
• W2000690876 hasConceptScore W2000690876C206880738 @default.
• W2000690876 hasConceptScore W2000690876C2524010 @default.
• W2000690876 hasConceptScore W2000690876C2777686260 @default.
• W2000690876 hasConceptScore W2000690876C2777904410 @default.
• W2000690876 hasConceptScore W2000690876C33923547 @default.
• W2000690876 hasConceptScore W2000690876C41008148 @default.
• W2000690876 hasConceptScore W2000690876C529173508 @default.
• W2000690876 hasConceptScore W2000690876C548081761 @default.
• W2000690876 hasConceptScore W2000690876C71924100 @default.
• W2000690876 hasConceptScore W2000690876C75606506 @default.
• W2000690876 hasLocation W20006908761 @default.
• W2000690876 hasOpenAccess W2000690876 @default.
• W2000690876 hasPrimaryLocation W20006908761 @default.
• W2000690876 hasRelatedWork W1556731802 @default.
• W2000690876 hasRelatedWork W1605464594 @default.
• W2000690876 hasRelatedWork W1836717328 @default.
• W2000690876 hasRelatedWork W185961173 @default.
• W2000690876 hasRelatedWork W2033050790 @default.
• W2000690876 hasRelatedWork W2045491902 @default.
• W2000690876 hasRelatedWork W2107006294 @default.
• W2000690876 hasRelatedWork W2112499278 @default.
• W2000690876 hasRelatedWork W2120186763 @default.
• W2000690876 hasRelatedWork W2122279036 @default.
• W2000690876 hasRelatedWork W2123817584 @default.
• W2000690876 hasRelatedWork W2130372530 @default.
• W2000690876 hasRelatedWork W2140320677 @default.
• W2000690876 hasRelatedWork W2153133295 @default.
• W2000690876 hasRelatedWork W2166329046 @default.
• W2000690876 hasRelatedWork W2217514256 @default.
• W2000690876 hasRelatedWork W2547116018 @default.
• W2000690876 hasRelatedWork W2734061748 @default.
• W2000690876 hasRelatedWork W3006023511 @default.
• W2000690876 hasRelatedWork W565232785 @default.
• W2000690876 isParatext "false" @default.
• W2000690876 isRetracted "false" @default.

• next