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 |
