Penicillium sp. SK9-1
National Institutes of Health
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Recently the use of formal methods in describing and analysing the behaviour of (computer) systems has become more common. This…