559509-3708AktiebolagGöteborgDataprogrammering och IT-konsulter
Bolaget kommer att tillhandahålla konsulttjänster inom området formella metoder för blockchain-plattformar samt därmed förenlig verksamhet.
Org.nr 559509-3708Registrerat 9 dec. 2024Säte Göteborg
Källa: Bolagsverket, uppdaterad 25 okt. 2026.
FormalProof AB är ett aktiebolag i Göteborg inom dataprogrammering och IT-konsulter, registrerat 20241.
Sammanställt automatiskt ur registeruppgifter, bokslut och händelser.
Styrelse och ledning hämtas från Bolagsverket och är inte inlästa för det här bolaget ännu.
Inga digitalt inlämnade bokslut finns för bolaget ännu.