Matches in Wikidata for { ?s ?p Model-based mutation testing from security protocols in HLPSL ?g. }
Showing items 1 to 5 of
5
with 100 items per page.
- Q115149610 name "Model-based mutation testing from security protocols in HLPSL" @default.
- Q115149610 label "Model-based mutation testing from security protocols in HLPSL" @default.
- Q115149610 prefLabel "Model-based mutation testing from security protocols in HLPSL" @default.
- Q115149610 P1476 "Model-based mutation testing from security protocols in HLPSL" @default.
- Q115149610-EA62C1AC-6752-4302-BF57-240AD1240ACB P1476 "Model-based mutation testing from security protocols in HLPSL" @default.