We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b7b241e commit 3df73afCopy full SHA for 3df73af
podcast/63/links.markdown
@@ -17,7 +17,7 @@
17
+ [Swiss Institute of Technology (ETH) Zurich](https://ethz.ch/en.html)
18
+ [Event-B (Formal Development Method)](https://en.wikipedia.org/wiki/B-Method#Event-B)
19
+ [Prof. Jean-Raymond Abrial](https://en.wikipedia.org/wiki/Jean-Raymond_Abrial)
20
-+ [Lötschberg Base Tunnel](https://en.wikipedia.org/wiki/L0tschberg_Base_Tunnel)
++ [Lötschberg Base Tunnel](https://en.wikipedia.org/wiki/Lötschberg_Base_Tunnel)
21
+ [Gotthard Base Tunnel](https://en.wikipedia.org/wiki/Gotthard_Base_Tunnel)
22
+ [Eastern Switzerland University of Applied Sciences (OST)](https://www.ost.ch)
23
+ [Functional Programming (Course at OST)](https://studien.ost.ch/allModules/39143_M_FP.html)
0 commit comments