3 Commits

Author SHA1 Message Date
Anthony Berg
114a7e745d refactor(dissertation): change ref to autoref 2024-05-15 22:22:59 +01:00
Anthony Berg
e729ac129f feat(dissertation): add VDMJ io flowchart 2024-05-15 18:50:38 +01:00
Anthony Berg
5e03b65a0b feat(dissertation): add vdmj explanation 2024-05-15 18:08:39 +01:00