Ljungkrantz, Oscar profile picture

Ljungkrantz, Oscar

On formal specification and verification of function block applications in industrial control logic development