13 Commits

Author	SHA1	Message	Date
Anthony Berg	6206e5d8e2	feat(dissertation): write background in full	2024-05-22 15:34:08 +01:00
Anthony Berg	4a44ba7344	feat(dissertation): write formal methods background in full	2024-05-22 01:29:40 +01:00
Anthony Berg	78096bba2a	feat(dissertation): wrote checklist background in full	2024-05-22 01:17:54 +01:00
Anthony Berg	5d67a260a1	feat(dissertation): add formal methods section in background	2024-05-20 19:17:10 +01:00
Anthony	cb7a131f01	feat(dissertation): add definitions in checklist section in background	2024-05-20 15:50:11 +01:00
Anthony Berg	120a7c2413	feat(dissertation): improve on checklist section in background	2024-05-19 20:00:04 +01:00
Anthony Berg	c7bcecf552	fix(dissertation): clearer wording	2024-05-19 19:21:39 +01:00
Anthony Berg	4e3c8d5ca7	feat(dissertation): add formal section and split up safety into subsections	2024-05-12 18:24:37 +01:00
Anthony Berg	7b581ad81e	feat(dissertation): add section about Safety in Background	2024-05-07 14:25:21 +01:00
Anthony Berg	48db7b7020	fix(dissertation): typos in JVM Languages	2024-05-07 13:35:19 +01:00
Anthony Berg	07459e992d	refactor(dissertation): move introuction to each separate sections	2024-05-07 13:33:59 +01:00
Anthony Berg	d8d5301b4c	feat(dissertation): improve wording on chosing languages	2024-05-05 18:33:20 +01:00
Anthony Berg	7673e90706	refactor(dissertation): move tech stack talk to background	2024-05-05 18:07:32 +01:00