Type theory based semantic verification for service composition in cloud computing environments Academic Article uri icon

publication date

  • 2018