José A. Alonso on Nostr: The role of formal methods in computer science education. ~ Maurice ter Beek, Manfred ...
Published at
2024-11-14 10:14:56Event JSON
{
"id": "f2dbd4fdbae45ae8301d2c1f0bac62e9fe9df0066310440c1860ceeee9298935",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731579296,
"kind": 1,
"tags": [
[
"t",
"education"
],
[
"t",
"compsci"
],
[
"t",
"formalmethods"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113480780754274100",
"activitypub"
]
],
"content": "The role of formal methods in computer science education. ~ Maurice ter Beek, Manfred Broy, Brijesh Dongol. https://dl.acm.org/doi/pdf/10.1145/3702231 #FormalMethods #CompSci #Education",
"sig": "a93d930053976e6ce8e4afce7522f770d4b5ada6159bca055016fcea333d1ba6b9c6b393ac3640e16d039dd5a246e7744cae8831c766821c7f31dddf41696df9"
}
