| From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods Recent countries visiting this post |  |
 | 5 | United States |
 | 1 | Switzerland |
 | 1 | Romania |
| From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods Recent countries visiting this post | |
| 5 | United States |
| 1 | Switzerland |
| 1 | Romania |