Uploads by Benkoo2
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
10:58, 7 July 2023 | BYNCND.png (file) | 20 KB | 1 | ||
08:21, 27 April 2023 | Laptops Original.xlsx (file) | 303 KB | 1 | ||
04:59, 20 April 2023 | 2014-reimagine-education-winners.pdf (file) | 220 KB | 1 | ||
03:35, 27 January 2023 | OntheCorrectnessofRefinementStepsinProgramDevelopment.pdf (file) | 913 KB | 1 | ||
03:10, 27 January 2023 | Backwright98refinementcalculus.pdf (file) | 5.52 MB | 1 | ||
09:46, 22 December 2022 | A2 Brochure PKC-rev1.pdf (file) | 3.37 MB | 1 | ||
09:28, 22 December 2022 | Marsha timestamp.png (file) | 264 KB | 1 | ||
05:28, 8 December 2022 | VennDiagram EnumeratedTypes.png (file) | 584 KB | 1 | ||
05:26, 8 December 2022 | LogicModel as Three Levels of HoareTriples.png (file) | 338 KB | 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:18, 8 December 2022 | JokowiInteractingWithStudents.png (file) | 2.18 MB | 1 | ||
05:17, 8 December 2022 | JokowiWithSurya.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
3.83 MB | 1 | |
05:07, 8 December 2022 | LocalAcrhivesWithTimestamps.png (file) | 279 KB | 1 | ||
04:29, 8 December 2022 | DevOpsCyclesWith Learnable data.png (file) | 351 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:25, 8 December 2022 | SequencedDataValidationWithHashCode.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
728 KB | 1 | |
04:21, 8 December 2022 | RicardianContract as a Bowtie.png (file) | 344 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:16, 8 December 2022 | All DataTypes Are POSets.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
378 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:11, 8 December 2022 | Mutli-level HoareTriples with LogicModel.png (file) | 571 KB | 1 | ||
04:07, 8 December 2022 | Correct by Design and Hoare Triple.png (file) | 272 KB | 1 | ||
03:57, 8 December 2022 | SingleSheafOfTruth In Sanscrit.png (file) | 198 KB | 1 | ||
03:49, 8 December 2022 | Correctness represented visually.png (file) | Error creating thumbnail: Unable to save thumbnail to destination |
327 KB | 1 | |
09:48, 7 December 2022 | ThreeAspectsOfTrustworthiness.png (file) | 273 KB | 1 | ||
09:45, 7 December 2022 | PKC A Tech for Trust.png (file) | 560 KB | 1 |