Uploads by Benkoo2

Jump to navigation Jump to search

This special page shows all uploaded files.

File list
Date Name Thumbnail Size Description Versions
09:45, 7 December 2022 PKC A Tech for Trust.png (file) 560 KB   1
09:48, 7 December 2022 ThreeAspectsOfTrustworthiness.png (file) 273 KB   1
03:49, 8 December 2022 Correctness represented visually.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
327 KB   1
03:57, 8 December 2022 SingleSheafOfTruth In Sanscrit.png (file) 198 KB   1
04:07, 8 December 2022 Correct by Design and Hoare Triple.png (file) 272 KB   1
04:11, 8 December 2022 Mutli-level HoareTriples with LogicModel.png (file) 571 KB   1
04:14, 8 December 2022 Trust worthy data is mother of all sciences.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
283 KB   1
04:16, 8 December 2022 All DataTypes Are POSets.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
378 KB   1
04:20, 8 December 2022 Workflow Composed of Smart Contracts.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
212 KB   1
04:21, 8 December 2022 RicardianContract as a Bowtie.png (file) 344 KB   1
04:25, 8 December 2022 SequencedDataValidationWithHashCode.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
728 KB   1
04:27, 8 December 2022 OnTheHourGlassModel with variants.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
387 KB   1
04:29, 8 December 2022 DevOpsCyclesWith Learnable data.png (file) 351 KB   1
05:07, 8 December 2022 LocalAcrhivesWithTimestamps.png (file) 279 KB   1
05:17, 8 December 2022 JokowiWithSurya.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
3.83 MB   1
05:18, 8 December 2022 JokowiInteractingWithStudents.png (file) 2.18 MB   1
05:20, 8 December 2022 LKPP Blockchain On CNN.png (file)
Error creating thumbnail: Unable to save thumbnail to destination
2.81 MB   1
05:26, 8 December 2022 LogicModel as Three Levels of HoareTriples.png (file) 338 KB   1
05:28, 8 December 2022 VennDiagram EnumeratedTypes.png (file) 584 KB   1
09:28, 22 December 2022 Marsha timestamp.png (file) 264 KB   1
09:46, 22 December 2022 A2 Brochure PKC-rev1.pdf (file) 3.37 MB   1
03:10, 27 January 2023 Backwright98refinementcalculus.pdf (file) 5.52 MB   1
03:35, 27 January 2023 OntheCorrectnessofRefinementStepsinProgramDevelopment.pdf (file) 913 KB   1
04:59, 20 April 2023 2014-reimagine-education-winners.pdf (file) 220 KB   1
08:21, 27 April 2023 Laptops Original.xlsx (file) 303 KB   1
10:58, 7 July 2023 BYNCND.png (file) 20 KB   1