Formal methods: mathematics, computer science or software engineering? | IEEE Journals & Magazine | IEEE Xplore