{
  "ok": true,
  "clientSlug": "absint-static-analysis-and-formal-verification-of-safety-critical-software",
  "services": []
}