petshop-40-queries.spp

petshop/membership/petshop-40-queries.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial readShopCustomer(Buyer) {4    findBuyer;5    identify(Buyer);6}