Matches in Wikidata for { <http://www.wikidata.org/entity/Q57658821> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q57658821 description "article scientifique" @default.
- Q57658821 description "wetenschappelijk artikel" @default.
- Q57658821 description "наукова стаття" @default.
- Q57658821 name "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 name "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 type Item @default.
- Q57658821 label "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 label "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 prefLabel "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 prefLabel "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 P1433 Q57658821-136C421C-B47B-40D3-9165-815887AF988E @default.
- Q57658821 P1476 Q57658821-E1002338-4146-4D2E-B26A-E630B1F4981F @default.
- Q57658821 P2093 Q57658821-6FF3D55C-A1A9-4FA4-B8BA-2FDEC0ECCD5E @default.
- Q57658821 P2093 Q57658821-EE7CE413-32A0-4053-A258-D74EDDF405BA @default.
- Q57658821 P304 Q57658821-91DBD417-E3F2-4F56-A709-7FAEB3788C4B @default.
- Q57658821 P31 Q57658821-459FD2C5-C8B9-42C7-AAFF-78F4FE9CF5AF @default.
- Q57658821 P356 Q57658821-60E24F70-E408-4F98-BBA3-C48A8862AB1A @default.
- Q57658821 P407 Q57658821-75F05EAF-F132-4145-B1FE-16EB7D42A13C @default.
- Q57658821 P50 Q57658821-321153C1-BB34-4360-A113-505322089F03 @default.
- Q57658821 P8978 Q57658821-B0A621D8-4843-4BE3-BA57-A589C4B647C3 @default.
- Q57658821 P921 Q57658821-C9A8C6A5-E506-4825-B1FB-83FE39AD9FF7 @default.
- Q57658821 P356 978-3-540-87698-4_22 @default.
- Q57658821 P8978 BasirDF08 @default.
- Q57658821 P1433 Q924044 @default.
- Q57658821 P1476 "Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information" @default.
- Q57658821 P2093 "Ewen Denney" @default.
- Q57658821 P2093 "Nurlida Basir" @default.
- Q57658821 P304 "249-262" @default.
- Q57658821 P31 Q13442814 @default.
- Q57658821 P356 "10.1007/978-3-540-87698-4_22" @default.
- Q57658821 P407 Q1860 @default.
- Q57658821 P50 Q57416941 @default.
- Q57658821 P8978 "conf/safecomp/BasirDF08" @default.
- Q57658821 P921 Q184199 @default.