Dieses Fediverse-Konto und seine Inhalte werden nicht von hhmx.de verwaltet. Die kontoführende Instanz ist mastodon.social - die originale Adresse ist https://mastodon.social/@fm_volker.

Volker Stolz

(@fm_volker@mastodon.social)

Sa 29.10.2022

Beiträge: 6.049Folgt: 359Folgende: 250

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/ forthcoming. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

Private	https://lambda.foldr.org/~vs/
Work	https://selabhvl.github.io/vsto/
Github	https://github.com/VolkerStolz
DBLP	https://dblp.org/pid/24/2502.html

mastodon.social · mastodon · 2025-07-17 13:27:34

Hier gibt es nichts zu sehen.